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
