COEN PORISINI, ALBERTO

Nome completo

Pagina personale

Mostra records

Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).

2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino

2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO

2000-01-01 R., Capobianchi; D., Carcagno; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO

2001-01-01 COEN PORISINI, Alberto; Denaro, Giovanni; Ghezzi, Carlo; Pezze', Mauro

2000-01-01 COEN PORISINI, Alberto; Mandrioli, Dino

Titolo	Data di pubblicazione	Autori
A Formal Approach for Designing CORBA based Applications	1-gen-2000	COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A framework architecture for supervision and control systems	1-gen-2000	R. CapobianchiCOEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO + -
Supervision and control systems framework	1-gen-2000	R. CapobianchiD. CarcagnoCOEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO + -
Using Symbolic Execution for Verifying Safety-Critical Systems	1-gen-2001	COEN PORISINI, ALBERTODENARO, GIOVANNIGHEZZI, CARLOPEZZE', MAURO
Using TRIO for designing a CORBA based application	1-gen-2000	COEN PORISINI, ALBERTOMANDRIOLI, DINO

RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano