DocumentCode
286294
Title
IEE Colloquium on `Process and Information Models for Real Time System Development´ (Digest No.164)
fYear
1993
fDate
34079
Abstract
DORIS, MASCOT and SPIRIT; real-time network requirements; dynamic interactions; and a MASCOT process model
Keywords
development systems; distributed memory systems; formal specification; real-time systems; DORIS; MASCOT; SPIRIT; dynamic interactions; process model; real-time network;
fLanguage
English
Publisher
iet
Conference_Titel
Process and Information Models for Real Time System Development, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
243178
Link To Document