Data di Pubblicazione:
2010
Citazione:
(2010). An Executable Semantics of the SystemC UML Profile [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/24744
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Scandurra, Patrizia; Riccobene, Elvinia
Link alla scheda completa:
Titolo del libro:
Abstract State Machines, Alloy, B and Z, Second International Conference LNCS 5977
Pubblicato in: