Filter your results
- 2
- 1
- 3
- 3
- 1
- 2
- 3
- 3
- 3
- 3
- 3
- 3
|
|
sorted by
|
|
An Event-B Development Process for the Distributed BIP Framework18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan. pp. 313-328
Conference papers
hal-01709119v1
|
||
An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016)Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France
Conference papers
hal-03176420v1
|
|||
|
Automatic Refinement for Event-B through Annotated Patterns25th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2017), Mar 2017, Saint Petersburg, Russia. pp.287-290, ⟨10.1109/PDP.2017.72⟩
Conference papers
hal-01887899v1
|