[ACM Press the 5th International Workshop - Innsbruck, Austria (2012.09.30-2012.09.30)] Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems - ACES-MB '12 - Real-time design models to RTOS-specific models refinement verification
Mzid, Rania, Mraidha, Chokri, Babau, Jean-Philippe, Abid, MohamedYear:
2012
Language:
english
DOI:
10.1145/2432631.2432636
File:
PDF, 1.37 MB
english, 2012