Graph explorer

Franck Cassez

Franck Cassez contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview mapFranck Cassez
13 nodes12 links
Franck Cassez13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAFranck CassezResearcherWDeductive Verification ...preprint / 2022WVerification and Parame...preprint / 2020WThe Complexity of Codia...preprint / 2010WFault Diagnosis with Dy...preprint / 2010WDynamic Observers for F...preprint / 2010WTimed Games for Computi...preprint / 2010WProceedings Seventh Con...preprint / 2012WPredictability of Event...preprint / 2013WThe Complexity of Synch...preprint / 2014WTimed Automata for Mode...preprint / 2015WA Note on Fault Diagnos...preprint / 2010WComputation of WCET usi...preprint / 2011
PersonSignal 1012 links

Franck Cassez

Researcher

Open