Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Using TRIO for designing a CORBA based application
2000-01-01 COEN PORISINI, Alberto; 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
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
Using Symbolic Execution for Verifying Safety-Critical Systems
2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile