Filtrer vos résultats
- 6
- 3
- 1
- 1
- 1
- 6
- 3
- 2
- 1
- 5
- 1
- 6
- 6
- 4
- 3
- 2
- 2
- 1
6 résultats
|
|
triés par
|
|
Building Confidence on Formal Verification ModelsFast Abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Communication dans un congrès
hal-01369144v1
|
||
|
Symmetry reduced state classes for Time Petri nets30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1751-1758, ⟨10.1145/2695664.2695803⟩
Communication dans un congrès
hal-01275316v1
|
||
|
Model-Checking Real-Time Properties of an Auto Flight Control System FunctionIEEE International Symposium on Software Reliability Engineering, Nov 2014, Naples, Italy. ⟨10.1109/ISSREW.2014.40⟩
Communication dans un congrès
hal-01949464v1
|
||
|
Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporelsSystèmes embarqués. INSA de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0041⟩
Thèse
tel-01579065v1
|
||
|
Integrating Model Checking in an Industrial Verification Process: a Structuring Approach2016
Pré-publication, Document de travail
hal-01341701v1
|
||
|
Symmetry reduction for time Petri net state classesScience of Computer Programming, 2016, Science of Computer Programming, 132 (Part 2), pp.209 - 225. ⟨10.1016/j.scico.2016.08.008⟩
Article dans une revue
hal-01561994v1
|