skip to main content
Lingue:
Filtrati per: Titolo della rivista: 2013 Formal Methods in Computer-Aided Design rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

On the concept of variable roles and its use in software analysis

Demyanova, Yulia ; Veith, Helmut ; Zuleger, Florian

2013 Formal Methods in Computer-Aided Design, October 2013, pp.226-230

Fulltext disponibile

2
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef

2013 Formal Methods in Computer-Aided Design, October 2013, pp.201-209

Fulltext disponibile

Ricerca in corso nelle risorse remote ...