DocumentCode
1614069
Title
On integrating the MOBIUS and MODEST modeling tools
Author
Bohnenkamp, Henrik ; Courtney, Tod ; Daly, David ; Derisavi, Salem ; Hermanns, Holger ; Katoen, Joost-Pieter ; Klaren, Ric ; Lam, Vinh Vi ; Sanders, William H.
Author_Institution
University of Twente
fYear
2003
Firstpage
671
Lastpage
671
Keywords
Algebra; Computer science; Power system modeling; Prototypes; Solids; Specification languages; Stochastic processes; Stochastic systems; Timing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN
0-7695-1952-0
Type
conf
DOI
10.1109/DSN.2003.1209980
Filename
1209980
Link To Document