langue originale | Anglais |
---|---|
Type | Newsletter on Modelling, Verification and Evolution of Software (MoVES) |
Nombre de pages | 1 |
Lieu de publication | Brussels |
Edition | 5 |
Volume | Work Package |
Etat de la publication | Publié - 2011 |
Refinement & Synthesis - Distributed Event Clock Automata
James Jerson Ortiz Vega, Pierre-Yves Schobbens, Axel Legay
Résultats de recherche: Autre contribution
40
Téléchargements
(Pure)