Title :
Third International Conference on Software Engineering for Real Time Systems (Conf. Publ. No.344)
Abstract :
The following topics were dealt with: formal methods and safety critical software; specification for real-time systems; networks; user environments; real time control systems; automatic manufacture and robotics; real time plant control; concurrent systems; and knowledge based systems for real time systems
Keywords :
computerised control; fault tolerant computing; formal specification; knowledge based systems; manufacturing computer control; real-time systems; software engineering; automatic manufacture; concurrent systems; formal methods; knowledge based systems; networks; real time control systems; real time plant control; real-time systems; robotics; safety critical software; specification; user environments;
Conference_Titel :
Software Engineering for Real Time Systems, 1991., Third International Conference on
Conference_Location :
Cirencester
Print_ISBN :
0-85296-526-5
