Communication Dans Un Congrès
Année : 2010
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517269
Soumis le : mardi 14 septembre 2010-09:16:33
Dernière modification le : lundi 14 mars 2022-11:08:05
Dates et versions
Identifiants
- HAL Id : hal-00517269 , version 1
Citer
Xavier Dumas, Frédéric Boniol, Philippe Dhaussy, Eric Bonnafous. Partial Order Application for Software Formal Verification. Conférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne. ⟨hal-00517269⟩
Collections
60
Consultations
0
Téléchargements