Research
CIS
Concurrent Integrated Systems
2012 - PhD Thesis (1 results)
« Asynchronous monitors synthesis from temporal assertions for the robust observation of synchronous circuits ».
Candidate: A. Porcher
Advisor: L. Fesquet
President of jury: I. O'connor
PhD: These de Doctorat, Université de Grenoble
Speciality: Nanoélectronique et Nanotechnologies
Defense: 2012-05-03
