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

DocumentCode :

1624874

Title :

OCL goes real-time

Author :

Rammig, Franz J. ; Flake, Stefan ; Watson, Ben ; Hogg, John ; Tsai, Wei-Tek

Author_Institution :

Univ. Paderborn

fYear :

2002

fDate :

6/24/1905 12:00:00 AM

Firstpage :

421

Lastpage :

421

Keywords :

Embedded system; Formal verification; Object oriented modeling; Process design; Proposals; Real time systems; Software engineering; Software standards; Software systems; Unified modeling language;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on

Print_ISBN :

0-7695-1558-4

Type :

conf

DOI :

10.1109/ISORC.2002.1003808

Filename :

1003808

Link To Document :

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