DocumentCode :
3615090
Title :
Role activity diagrams as finite state processes
Author :
C. Badica;A. Badica;V. Litoiu
Author_Institution :
University of Craiova
fYear :
2003
fDate :
6/25/1905 12:00:00 AM
Firstpage :
15
Lastpage :
22
Keywords :
"Algebra","Computer science","Concurrent computing","Automation","Software engineering","Management information systems","Formal verification","Information technology","Technology management","Petri nets"
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Computing, 2003. Proceedings. Second International Symposium on
Print_ISBN :
0-7695-2069-3
Type :
conf
DOI :
10.1109/ISPDC.2003.1267638
Filename :
1267638
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3615090
