Synthèse d'un superviseur ferroviaire à partir d'exigences avec PetriGen

Aperçu: Aperçu | Image | Texte | Moyen | Vignette

Synthèse d'un superviseur ferroviaire à partir d'exigences avec PetriGen
Publication details: 
Source et DOI
Publication: 
REE 2005-2
Synthèse d'un superviseur ferroviaire à partir d'exigences avec PetriGen
Groupes / audience: