VERSA: a tool for the specification and analysis of resource-bound real-time systems

Bibliographische Detailangaben

1. Verfasser:	Clarke, Duncan (VerfasserIn)
Weitere Verfasser:	Lee, Insup (VerfasserIn), Xie, Hong-liang (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Philadelphia, Pa. Univ. of Pennsylvania 1993
Schriftenreihe:	MS-CIS / University of Pennsylvania, School of Engineering and Applied Science, Computer and Information Science Department 93,77 GRASP LAB 359 Distributed Systems Lab 34
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!