Reactive systems in physical environments: compositional modelling and framework for verification

Zugl.: Linköping, Univ., Diss. : 1994

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Nadjm-Tehrani, Simin (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Linköping Linköping Univ., Department of Computer and Information Science 1994
Schriftenreihe:	Linköping studies in science and technology 338
Schlagworte:	Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!