Sfoglia per Rivista ELECTRONIC COMMUNICATIONS OF THE EASST
Mostrati risultati da 1 a 2 di 2
Model Checking and Safety Assessment of Altarica models
2011-01-01 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
The use of executable Fit tables to support maintenance and evolution tasks
2008-01-01 Ricca, Filippo; Marco, Torchiano; Massimiliano Di, Penta; Ceccato, Mariano; Tonella, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Model Checking and Safety Assessment of Altarica models | 1-gen-2011 | Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano | |
The use of executable Fit tables to support maintenance and evolution tasks | 1-gen-2008 | Ricca, Filippo; Marco, Torchiano; Massimiliano Di, Penta; Ceccato, Mariano; Tonella, Paolo |
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