Partial Order Application for Software Formal Verification - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Partial Order Application for Software Formal Verification

Fichier non déposé

Dates et versions

hal-00517269 , version 1 (14-09-2010)

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⟩
53 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More