.:. Consultation > Par domaine > Théorie et langage formel .:.

5 documents classés par :  date de publication, écriture ou dépôt titre du document 1er auteur Type de documents Date de dépôt

Rewrite Closure and CF Hedge Automata Jacquemard F., Rusinowitch M. 7th International Conference on Language and Automata Theory and Application, Espagne (2013) [hal-00767719 - version 1]

Integrated Regulatory Networks (IRNs): Spatially organized biochemical modules Giavitto J.-L., Klaudel H., Pommereau F. Journal of Theoretical Computer Science (TCS) 431 (2012) 219-234 [hal-00769275 - version 1]

Interrupt Timed Automata: verification and expressiveness Bérard B., Haddad S., Sassolas M. Formal Methods in System Design 40, 1 (2012) 41-87 [hal-00683279 - version 1]

Formal Specification and Validation of Security Policies Bourdier T., Cirstea H., Jaume M., Kirchner H. FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, France (2011) [inria-00507300 - version 2]

A Petri Net Interpretation of Open Reconfigurable Systems Peschanski F., Klaudel H., Devillers R. Dans Applications and Theory of Petri Nets. 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings - Applications and Theory of Petri Nets, Royaume-Uni (2011) [hal-00628489 - version 1]