Des modèles au temps réel: le système KSE de traitement des alarmes nucléaires = Compiling models into real-time systems

Bibliographische Detailangaben

1. Verfasser:	Dormoy, J.-L. (VerfasserIn)
Weitere Verfasser:	Cherriaux, F. (VerfasserIn), Ancelin, J. (VerfasserIn)
Format:	UnknownFormat
Sprache:	fre
Veröffentlicht:	Clamart EDF, Électricité de France 1993
Schriftenreihe:	Collection de notes internes de la Direction des Études et Recherches, Électricité de France Mathématiques, informatique, télécommunications 93-NJ-00002
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!