Login / Signup
Najhan M. Ibrahim
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Automated Verification
Alternating Time Temporal Logic
Model Checking
Product Line
Top Venues
From Software Engineering to Formal Methods and Tools, and Back
</>
Publications
</>
Ciara Breathnach
,
Najhan M. Ibrahim
,
Stuart Clancy
,
Tiziana Margaria
Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data.
From Software Engineering to Formal Methods and Tools, and Back
(2019)