Filtrer vos résultats
- 3
- 2
- 3
- 1
- 1
- 5
- 1
- 2
- 2
- 4
- 1
- 5
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 résultats
|
|
|
triés par
|
|
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩
Communication dans un congrès
hal-01797538v1
|
||
|
|
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017), Jun 2017, Neuchâtel, Switzerland. pp.124-138, ⟨10.1007/978-3-319-60225-7_9⟩
Communication dans un congrès
hal-01658423v1
|
||
Contextual Dependency in State-based ModellingImplicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩
Chapitre d'ouvrage
hal-03199748v1
|
|||
Contextualization and Dependency in State-Based Modelling - Application to Event-BMEDI 2017 - International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137--152, ⟨10.1007/978-3-319-66854-3_11⟩
Communication dans un congrès
hal-01631017v1
|
|||
|
|
Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-BThéorie et langage formel [cs.FL]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0230⟩
Thèse
tel-02094875v1
|