COEN PORISINI, ALBERTO
COEN PORISINI, ALBERTO
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.018 secondi).
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A framework architecture for supervision and control systems
2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
Supervision and control systems framework
2000-01-01 R., Capobianchi; D., Carcagno; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
Using Symbolic Execution for Verifying Safety-Critical Systems
2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro
Using TRIO for designing a CORBA based application
2000-01-01 COEN PORISINI, Alberto; Mandrioli, Dino