(2008). Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/22565

Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints

GARGANTINI, Angelo Michele
2008-01-01

2008
Calvagna, Andrea; Gargantini, Angelo Michele
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/22565
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact