Fabrice Kordon und Zitiert - Info zur Person

(1 - 5 von 5

)

[ ] Model Checking Contest @ Petri Nets, Report on the

arxiv.org

von F Kordon · · Zitiert von: 2 — Authors:Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Łukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, ... › cs

A survey: Applying formal methods to a software intensive system...

experts.nebraska.edu

von A De Groot · · Zitiert von: 11 — Adriaan De Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Mounier, Michel Lemoine, Gervais Gaudiere, Victor L. Winter, Deepak Kapur. › a-sur...

Behavioral Modular Description of Fault Tolerant Distributed Systems...

hal.inria.fr

von G Lasnier · · Zitiert von: 7 — Gilles Lasnier, Thomas Robert, Laurent Pautet, Fabrice Kordon. Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral ... › hal

Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an...

hal.sorbonne-universite.fr

von YB Maissa · · Zitiert von: 17 — Yann Ben Maissa 1, 2Fabrice Kordon 2 Salma Mouline 1 Yann Thierry-Mieg 2. Détails. 1 GSCM-LRIT - Laboratoire de Recherche en Informatique et ... › ...

Software Architecture of Modern Model Checkers - University ...

research.utwente.nl

von F Kordon · · Zitiert von: 6 — Software Architecture of Modern Model Checkers. Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg. Formal Methods and Tools. › softwa...

Alle Infos zum Namen "Fabrice Kordon"

Verwandte Suchanfragen zu Fabrice Kordon

Dirk Beyer

Personen
Vorname "Fabrice" (1592)
Name "Kordon" (101)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z