Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Collart-Dutilleul S
26  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

CSP specification and verification of relay-based railway i..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,
de Almeida Pereira, D. I. ; Oliveira, M. V. M. ; Bezerra, P. E. R... - p. 97-106 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Contributor contact details:

, In: Porous Silicon for Biomedical Applications,
Santos, H.A. ; Canham, L.T. ; Salonen, J.... - p. xiii-xvi , 2014
Link: https://doi.org/10.1016/..
 
?
3

Formalizing for Proving the System Safety of the Software C..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,
Hamidi, Amine ; Collart-Dutilleul, Simon ; Bon, Philippe - p. 85-99 , 2024
Link: https://doi.org/10.1007/..
 
?
4

FERROMOBILE and Security for Low Moment of Traffic Level Cr..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,
Brahim, Rim ; Collart-Dutilleul, Simon ; Bon, Philippe.. - p. 35-50 , 2024
Link: https://doi.org/10.1007/..
 
?
5

A railway norms application for small traffic railway lines..:

, In: 2023 International Conference on Control, Automation and Diagnosis (ICCAD),
Collart-Dutilleul, Simon ; Bon, Philippe ; Hamidi, Amine - p. 1-6 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Formal alignment of requirements models with high-level arc..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),
Bougacha, Racem ; Laleau, Regine ; Collart-Dutilleul, Simon - p. 216-225 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Modeling Train Systems: From High-Level Architecture Graphi..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,
Bougacha, Racem ; Laleau, Régine ; Bon, Philippe.. - p. 153-168 , 2023
Link: https://doi.org/10.1007/..
 
?
8

A Colored Petri Net Model for Control Problem of Border Cro..:

, In: 2022 International Conference on Robotics and Automation (ICRA),
Kadri, Hela ; Collart-Dutilleul, Simon ; Bon, Philippe. - p. 11548-11554 , 2022
Link: https://doi.org/10.1109/..
 
?
9

Visual animation of B specifications using executable DSLs:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
Yar, Asfand ; Idani, Akram ; Ledru, Yves. - p. 617-626 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Extending SysML with Refinement and Decomposition Mechanism..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,
Bougacha, Racem ; Laleau, Régine ; Collart-Dutilleul, Simon. - p. 256-273 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Correction to: Crossing Border in the European Railway Syst..:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,
Kadri, Hela ; Collart-Dutilleul, Simon ; Bon, Philippe - p. C1-C1 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Crossing Border in the European Railway System: Operating M..:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,
Kadri, Hela ; Collart-Dutilleul, Simon ; Bon, Philippe - p. 213-230 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Conclusion:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,
Collart-Dutilleul, Simon - p. 231-233 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Designing Operating Rules for ERTMS Transnational Lines:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,
Collart-Dutilleul, Simon ; Pereira, Dalay Israel de Almeida ; Bon, Philippe - p. 133-161 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Formal Validation of Interlocking Under Signaling Rules:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,
Sun, Pengfei ; Collart-Dutilleul, Simon ; Bon, Philippe - p. 163-211 , 2021
Link: https://doi.org/10.1007/..
 
1-15