Introduction générale
| Autor: | Kordon, Fabrice, Hugues, Jérôme, Canals, Agusti, Dohet, Alain |
|---|---|
| Přispěvatelé: | Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | francouzština |
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | Modélisation et analyse de systèmes embarqués Modélisation et analyse de systèmes embarqués, Hermes, pp.15-18, 2013 |
| Popis: | National audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|