Login / Signup
Aziz Sfar
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Power Plant
Soft Computing
Logical Theories
Uml Class Diagrams
Top Venues
FoIKS
FMICS
</>
Publications
</>
Aziz Sfar
,
David Carral
,
Dina Irofti
,
Madalina Croitoru
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking.
FMICS
(2023)
Aziz Sfar
,
Dina Irofti
,
Madalina Croitoru
A Graph Based Semantics for Logical Functional Diagrams in Power Plant Controllers.
FoIKS
(2022)