Filter your results
- 5
- 1
- 4
- 1
- 1
- 6
- 2
- 1
- 1
- 1
- 1
- 6
- 6
- 2
- 1
- 1
- 1
- 5
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Synthesis and verification of constraints in the PGM protocol12th International Formal Methods Europe Symposium, FM'03, Sep 2003, Pisa, Italy. pp.264-281
Conference papers
hal-00110252v1
|
||
Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets28th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN'07), 2007, Siedlce, Poland. pp.63-82
Conference papers
hal-00523609v1
|
|||
|
TSN Support for Quality of Service in Space10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02441327v1
|
||
|
On the compared expressiveness of arc, place and transition time Petri netsFundamenta Informaticae, 2008, 88 (3), pp.225-249
Journal articles
hal-00489072v1
|
||
|
Formal specification of satellite on-board networks requirements2020
Preprints, Working Papers, ...
hal-02926971v1
|
||
|
A Framework to Manage Knowledge from Defect Resolution Process13th IEEE Conference on Commerce and Enterprise Computing (CEC 2011), IEEE, Sep 2011, Luxenbourg, Luxembourg. pp.10-17, ⟨10.1109/CEC.2011.11⟩
Conference papers
hal-03763189v1
|