A tlm-based platform to specify and verify component-based real-time systems

Mostafavi Amjad Davoud, Zolfy Lighvan Mina

This paper is about modeling and verification languages with their pros and cons. Modeling is dynamic part of system development process before realization. The cost and risky situ…