[IEEE 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) - Tokyo, Japan (2009.03.17-2009.03.20)] 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing - From AADL Architectural Models to Petri Nets: Checking Model Viability
Renault, Xavier, Kordon, Fabrice, Hugues, JérômeAnnée:
2009
Langue:
english
DOI:
10.1109/isorc.2009.11
Fichier:
PDF, 392 KB
english, 2009