Login / Signup
Mostafavi Amjad Davoud
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Embedded Real Time Systems
Timing Constraints
Distributed Databases
Architectural Model
Top Venues
CoRR
</>
Publications
</>
Mostafavi Amjad Davoud
,
Mina Zolfy Lighvan
A tlm-based platform to specify and verify component-based real-time systems.
CoRR
(2014)