Other Theses

Other Theses

|Titolo| |Data| |Autore|
SPECIFICA E VALIDAZIONE DI UN MODELLO SDL DI UN SISTEMA DI SEGNALAMENTO FERROVIARIO 2003 Michele Banci
LA GENERAZIONE AUTOMATICA DI CODICE C A PARTIRE DA SPECIFICA SDL PER UN SISTEMA DI SEGNALAMENTO FERROVIARIO 2007 Marcello Becucci
TRADUZIONE DI DIAGRAMMI DI STATO STATEFLOW IN DIAGRAMMI UML A FINI DI VERIFICA FORMALE 2007 Matteo Giachi