Design and verification in real-time distributed computing : an introduction to compositional methods

J.J.M. Hooman, W.P. Roever, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

41 Downloads (Pure)
Originele taal-2Engels
TitelProtocol Specification, Testing and Verification IX (Proceedings of the 9th IFIP WG 6.1 International Symposium, Enschede, The Netherlands, June 6-9, 1989)
RedacteurenE. Brinksma, G. Scollo, C.A. Vissers
Plaats van productieAmsterdam
UitgeverijNorth-Holland Publishing Company
Pagina's37-56
ISBN van geprinte versie0-444-88343-6
StatusGepubliceerd - 1990

Citeer dit