Login / Signup
Aiman Gannous
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Cooperative
Adaptive Systems
Fault Tolerant
Safety Critical
Top Venues
ISSRE
ISSRE Workshops
</>
Publications
</>
Aiman Gannous
,
Anneliese Andrews
Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems.
ISSRE
(2019)
Aiman Gannous
,
Anneliese Andrews
,
Barbara Gallina
Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems.
ISSRE Workshops
(2018)