Login / Signup
Rasma Araby
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Third Party
Computer Vision
Adaptive Algorithms
Multiscale
Top Venues
MILS@DSN
</>
Publications
</>
Dorien Koelemeijer
,
Rasma Araby
,
Ayoub Nouri
,
Marius Bozga
,
Rance DeLong
A Model-based Approach to Certification of Adaptive MILS.
MILS@DSN
(2018)