skip to main content
Lingue:
Mostra solo
Filtrati per: Autore: Clarke, Edmund rimuovi
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

An Iterative Framework for Simulation Conformance

Chaki, Sagar ; Clarke, Edmund ; Jha, Somesh ; Veith, Helmut

Journal of Logic and Computation, 2005, Vol.15(4), pp.465-488 [Rivista Peer Reviewed]

Fulltext disponibile

2
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Modular verification of software components in C

Chaki, Sagar ; Clarke, Edmund ; Groce, Alex ; Jha, Somesh ; Veith, Helmut

Proceedings of the 25th International Conference on software engineering, 03 May 2003, pp.385-395

Fulltext disponibile

3
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Efficient filtering in publish-subscribe systems using binary decision diagrams

Campailla, Alexis ; Chaki, Sagar ; Clarke, Edmund ; Jha, Somesh ; Veith, Helmut

Proceedings of the 23rd International Conference on software engineering, 01 July 2001, pp.443-452

Fulltext disponibile

Ricerca in corso nelle risorse remote ...