7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS '02) University of Málaga, Spain, July 12 - 13, 2002

Bibliographische Detailangaben

Körperschaften:	International Workshop on Formal Methods for Industrial Critical Systems (VerfasserIn), European Research Consortium for Informatics and Mathematics (BerichterstatterIn)
Weitere Verfasser:	Cleaveland, Rance (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Málaga Dep. de Lenguajes y Ciencias de la Computación, Univ. de Málaga 2002
Schriftenreihe:	Technical report ITI 2002,5
Schlagworte:	Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!