Publikációk

Export 4 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
Szűrők: Szerző = Diego Latella  [Minden szűrő visszaállítása]
2001
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
2000
Gnesi, S., Latella, D., Majzik, I., and Massink, M., "Formal Validation of UML Statechart Diagrams Models", UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), pp. * - 7, 2000.
1999
Latella, D., Majzik, I., and Massink, M., "Towards a Formal Operational Semantics of UML Statechart Diagrams", Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy), Deventer, Kluwer Academic Publishers, pp. 331 - 347, 1999.