Filtrer vos résultats
- 8
- 2
- 8
- 1
- 1
- 10
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 10
- 4
- 3
- 3
- 1
- 1
- 1
- 10
- 8
- 6
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
triés par
|
Checking Properties on the Control of Heterogeneous SystemsIEEE International Conference on Software Testing, verification and validation, MoVaH Workshop on Modeling, Validation and Heterogeneity, Apr 2008, Lillehammer, Norway. pp.141-150
Communication dans un congrès
hal-00304197v1
|
|||
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
hal-01890134v1
|
||
Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization SystemFrance, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941
Brevet
hal-04495337v1
|
|||
|
Semantic Adaptation using CCSL Clock ConstraintsJörg Kienzle. Models in Software Engineering, Springer-Verlag, pp.104-118, 2012, LNCS - Lecture Notes in Computer Science, ⟨10.1007/978-3-642-29645-1_12⟩
Chapitre d'ouvrage
hal-00740801v1
|
||
Semantic Adaptation using CCSL Clock ConstraintsThe 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Communication dans un congrès
hal-00641413v1
|
|||
An Architecture Description Language for Verification in Component-Based Software32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
Communication dans un congrès
hal-00334977v1
|
|||
From Data to Events: Checking Properties on the Control of a SystemACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Communication dans un congrès
hal-00289103v1
|
|||
Semantic Adaptation for Models of ComputationEleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
Communication dans un congrès
hal-00605273v1
|
|||
|
RiseClipse: Why working at the model level is better for validating data conforming to IEC standards19th Power Systems Computation Conference (PSCC 2016), Power Systems Computation Conference, Jun 2016, Gênes, Italy. ⟨10.1109/PSCC.2016.7540901⟩
Communication dans un congrès
hal-01451524v1
|
||
A Generic Execution Framework for Models of ComputationMOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Communication dans un congrès
hal-00256116v1
|