Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

Joost-Pieter Katoen (ed.)
Bok · Engelsk · 1999 International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software

Utgitt	Berlin : Springer , c1999
Omfang	X, 353 s. : fig.
Emner	Distribuerte systemer Konstruksjoner Matematisk databehandling Modellering Vis mer... Parallelle systemer Samtidighet Sanntidssystemer Spesifikasjon Verifikasjon Distribuerte systemer((NO-TrBIB)REAL003034) Modellering((NO-TrBIB)REAL004126) Parallelle systemer((NO-TrBIB)REAL003164) Samtidighet((NO-TrBIB)REAL007971) Sanntidssystemer((NO-TrBIB)REAL000884) Spesifikasjon((NO-TrBIB)REAL004339) Verifikasjon((NO-TrBIB)REAL006891)
ISBN	3540660100