OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Kordon, Fabrice"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Article

Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice. Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. (2009) Fundamenta Informaticae, 94 (3-4). 413-437. ISSN 0169-2968

Book Section

Thierry-Mieg, Yann and Poitrenaud, Denis and Hamez, Alexandre and Kordon, Fabrice. Hierarchical Set Decision Diagrams and Regular Models. (2009) In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. (Lecture Notes in Computer Science). Springer, Berlin, 1-15. ISBN 978-3-642-00767-5

Book

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain. Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (2013) (Electronic Engineering Series). Wiley-ISTE. ISBN 978 1 84821 500 9

Kordon, Fabrice and Hugues, Jérôme and Canals, Agusti and Dohet, Alain. Modélisation et analyse de systèmes embarqués. (2013) (Collection SEE). Hermes Sciences, Paris, France. ISBN 978-2746239005

This list was generated on Fri Nov 22 19:37:34 2019 CET.