مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

2666817

Title :

Developing Correct Systems

Author :

Bowen, Jonathan ; Olderog, Ernst-Rüdiger ; Fränzle, Martin ; Ravin, A.P.

Author_Institution :

Oxford University Computing Laboratory, UK

fYear :

1993

fDate :

22-24 June 1993

Firstpage :

176

Lastpage :

187

Keywords :

Actuators; Control systems; Control theory; Embedded computing; Hardware; Laboratories; Logic; Mathematical model; Real time systems; Sensor phenomena and characterization;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on

Conference_Location :

Oulu, Finland

ISSN :

1068-3070

Print_ISBN :

0-8186-4110-X

Type :

conf

DOI :

10.1109/EMWRT.1993.639088

Filename :

639088

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2666817