Filtrer vos résultats
- 5
- 2
- 4
- 2
- 1
- 1
- 5
- 2
- 1
- 1
- 2
- 1
- 2
- 2
- 7
- 3
- 2
- 2
- 1
- 7
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
7 résultats
|
|
triés par
|
Modeling and analysing Cyber–Physical Systems in HOL-CSPRobotics and Autonomous Systems, 2023, 170, pp.104549. ⟨10.1016/j.robot.2023.104549⟩
Article dans une revue
hal-04265879v1
|
|||
|
Making Agile Development Processes fit for V-style Certification Procedures9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Communication dans un congrès
hal-01702815v1
|
||
|
Using the Isabelle Ontology Framework. Linking the Formal with the InformalInternational Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Communication dans un congrès
hal-01875734v1
|
||
An Introduction to ALISA and Its Usage for an Industrial Railway System Case StudyAda Letters, 2023, 43 (1), pp.69-72. ⟨10.1145/3631483.3631493⟩
Article dans une revue
hal-04438276v1
|
|||
|
Engineering Railway Systems with an Architecture-Centric Process Supported by AADL and ALISA: an Experience Report10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès
hal-02454258v1
|
||
|
Seamless Integration between Real-time Analyses and Systems Engineering with the PST ApproachIEEE SYSCON2020, Aug 2020, Vancouver (virtual conference), Canada
Communication dans un congrès
hal-02940241v1
|
||
|
Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Rapport
hal-03429597v2
|