Filtrer vos résultats
- 8
- 4
- 9
- 2
- 1
- 12
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 3
- 1
- 11
- 1
- 9
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 12
- 10
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
12 résultats
|
|
|
triés par
|
Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design$6^{th}$ Annual Conference on Systems Engineering Research, 2008, Los Angeles, United States. pp.0-10
Communication dans un congrès
hal-00523611v1
|
|||
|
|
Optimal-Cost Reachability Analysis Based on Time Petri Nets18th International Conference on Application of Concurrency to System Design (ACSD 2018), Jun 2018, Bratislava, Slovakia
Communication dans un congrès
hal-01957173v1
|
||
|
|
Optimal Reachability in Cost Time Petri Nets15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), Sep 2017, Berlin, Germany
Communication dans un congrès
hal-01724290v1
|
||
|
|
Formal Behavioral Modeling of Real-Time Operating SystemsThe 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Jun 2012, Wroclaw, Poland
Communication dans un congrès
hal-01093794v1
|
||
|
|
Vérication des EFFBDs : Model checking en Ingénierie SystèmeModélisation et simulation. Université de Nantes, 2009. Français. ⟨NNT : ⟩
Thèse
tel-00440677v1
|
||
Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007), 2007, San Diego, United States. pp.0-10
Communication dans un congrès
hal-00523605v1
|
|||
|
|
xFFBD : towards a formal yet simple and complete functional modeling technique for system designersINCOSE 2012, 22nd Annual International Council on Systems Engineering Symposium, Jul 2012, Rome, Italy. pp xxx
Communication dans un congrès
hal-01022483v1
|
||
Usability and Usefulness of Formal Verification in a System Design Process$18^{th}$ International Symposium of the INCOSE, 2008, Utrecht, Netherlands. pp.0-10
Communication dans un congrès
hal-00523610v1
|
|||
|
|
Formal Methods for Systems Engineering Behavior ModelsIEEE Transactions on Industrial Informatics, 2008, 4 (4), pp.280-291
Article dans une revue
hal-00489291v1
|
||
|
|
Formal Synthesis of Real-Time System Models in a MDE ApproachIARIA Journals, 2014, International Journal on Advances in Systems and Measurements, 7 (1&2), pp.115-128
Article dans une revue
hal-01093769v1
|
||
Formal composition based on roles within a model driven engineering approachThe 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Nov 2013, Venice, Italy. pp.27-32
Communication dans un congrès
hal-00941024v1
|
|||
|
|
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), Jun 2019, Aachen, Germany. pp.406-425, ⟨10.1007/978-3-030-21571-2_22⟩
Communication dans un congrès
hal-02565091v1
|