Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

J. Sifakis (ed.)
Bok · Engelsk · 1990

Utgitt	Berlin : Springer , c1990
Omfang	VII, 382 s. : ill.
Emner	Kommunikasjonsprotokoller Nettverk Programsemantikk Programverifikasjon Vis mer... Signalbehandling Systemteori Kommunikasjonsprotokoller((NO-TrBIB)REAL012226) Nettverk((NO-TrBIB)REAL009975) Programsemantikk((NO-TrBIB)REAL010253) Programverifikasjon((NO-TrBIB)REAL007699) Signalbehandling((NO-TrBIB)REAL009440) verifikasjon
ISBN	0387521488. - 3540521488