AIELLO, FRANCESCO
AIELLO, FRANCESCO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan
Simulation-based verification of system requirements: An integrated solution
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned | 1-gen-2017 | Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan | |
Simulation-based verification of system requirements: An integrated solution | 1-gen-2017 | Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan |