Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Towards a formal operational semantics of UML statechart diagrams

Contributo in Atti di convegno
Data di Pubblicazione:
1999
Abstract:
Sommario non disponibile.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
UML
Elenco autori:
Massink, Mieke; Latella, Diego
Autori di Ateneo:
LATELLA DIEGO
MASSINK MIEKE
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/233868
Titolo del libro:
IFIP TC6/WG6.1 Third international conference on formal methods for open object-oriented distributed systems
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)