Filtrer vos résultats
- 4
- 2
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 4
- 4
- 4
- 1
- 1
4 résultats
|
|
triés par
|
|
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets[Research Report] LIRMM, Université de Montpellier. 2020
Rapport
lirmm-02611153v1
|
||
|
Formal Semantics of H-VHDL2022
Pré-publication, Document de travail
hal-03664656v1
|
||
|
Formal Specification of the HILECOP Model-to-text Transformation2022
Pré-publication, Document de travail
hal-03661152v1
|
||
|
Formal verification of a methodology for the design and production of safety-critical digital systemsComputer science. Université Montpellier, 2021. English. ⟨NNT : 2021MONTS059⟩
Thèse
tel-03566937v1
|