11647 articles  [version française]
.:. Browse > List by subject > Formal Languages and Automata Theory .:.
3 documents ordered by :

fulltext access Formal verification of a synchronous data-flow compiler : from Signal to C
Ngô V. C.
Université Rennes 1 (01/07/2014), Jean-Pierre Talpin (Dir.) [tel-01067477 - version 1]
STAR - Dépôt national des thèses électroniques
fulltext access Verification based on unfoldings of Petri nets with read arcs
Rodríguez C.
École normale supérieure de Cachan - ENS Cachan (12/12/2013), Stefan Schwoon (Dir.) [tel-00927064 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking
Hugot V.
Université de Franche-Comté (27/09/2013), Olga Kouchnarenko;Pierre-cyrille Heam (Dir.) [tel-00909608 - version 2]
STAR - Dépôt national des thèses électroniques