Sfoglia per Autore AIELLO, FRANCESCO
Mostrati risultati da 1 a 2 di 2
Simulation-based verification of system requirements: An integrated solution
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned
2017-01-01 Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Simulation-based verification of system requirements: An integrated solution | 1-gen-2017 | Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutre, Stefan | |
Formal modeling of system properties for simulation-based verification of requirements: Lessons learned | 1-gen-2017 | Aiello, Francesco; Garro, Alfredo; Lemmens, Yves; Dutré, Stefan |
Mostrati risultati da 1 a 2 di 2
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