Publikációk

Export 2 results:
Rendezés: [ Szerző  (Desc)] Cím Típus Év
Szűrők: Az Utónév Első Betűje = L  [Minden szűrő visszaállítása]
A B C D E F G H I J K [L] M N O P Q R S T U V W X Y Z   [MINDENT mutat]
L
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.