Title :
IEE Colloquium on `Process and Information Models for Real Time System Development´ (Digest No.164)
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;
Conference_Titel :
Process and Information Models for Real Time System Development, IEE Colloquium on
Conference_Location :
London
