Publikációk

Export 2 results:
Rendezés: [ Szerző (Asc)] 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., "Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker", FORMAL ASPECTS OF COMPUTING, vol. 11, issue 6, pp. 637 - 664, 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.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció