V
Verimag
Gières, France
2,055
Publications
121,665
Citations
Loading papers...
Search by keywords
Filter by Type
- Article (754)
- Book Chapter (636)
- Preprint (439)
- Dissertation (57)
- Book (47)
Filter by Open Access Type
- Open Access (906)
- Closed Access (1,052)
Filter by Authors
- Marius Bozga (189)
- Joseph Sifakis (181)
- Oded Maler (151)
- Saddek Bensalem (112)
- David Monniaux (102)
Filter by Topics
- Formal Methods in Verification (949)
- Embedded Systems Design Techniques (419)
- Real-Time Systems Scheduling (380)
- Logic, programming, and type systems (331)
- Software Testing and Debugging Techniques (264)