MORASCA, SANDRO
MORASCA, SANDRO
DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE (attivo dal 01/01/1900 al 31/12/2012)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
An application of a tool for automated system analysis based on modular specifications
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Generation of Execution Sequences for Modular Time Critical Systems
2000-01-01 SAN PIETRO, Pierluigi; Morzenti, ANGELO CARLO; Morasca, Sandro