New paradigms and tools for high-assurance systems modeling / F., Flammini; Mazzocca, Nicola; Vittorini, Valeria. - In: ERCIM NEWS. - ISSN 0926-4981. - STAMPA. - 75:(2008), pp. 28-30.
New paradigms and tools for high-assurance systems modeling
MAZZOCCA, NICOLA;VITTORINI, VALERIA
2008
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.