E-LIB Suche - Ergebnisse für: Collart-Dutilleul S

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

Proposition of a formal model for crisis management in the ..:

Kadri H ; Schleiner S ; Collart-Dutilleul S...
doi:10.5281/zenodo.1446146. , 2018

Link: https://zenodo.org/recor..

3

Characterization of rat vertebrae cortical bone microstruct..:

Shah, S.A. ; Salehi, H. ; Cavaillès, V....
Annals of Anatomy - Anatomischer Anzeiger. 250 (2023) - p. 152162 , 2023

Link: https://doi.org/10.1016/..

4

Using Interval Constrained Petri Nets and Fuzzy Method for ..:

Nabli L ; Dhouibi H ; Collart Dutilleul S.
doi:10.5281/zenodo.1327479. , 2008

Link: https://zenodo.org/recor..

5

Using Interval Constrained Petri Nets for the Fuzzy Regulat..:

Nabli L ; Dhouibi H ; Collart Dutilleul S.
doi:10.5281/zenodo.1334553. , 2008

Link: https://zenodo.org/recor..

6

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/..

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

Reliability, Safety, and Security of Railway Systems. Model..

Lecture Notes in Computer Science, 14198

Milius, Birgit ; Collart-Dutilleul, Simon ; Lecomte, Thierry - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

9

Towards the Standardization of Mesenchymal Stem Cell Secret..:

Chouaib, Batoul ; Haack-Sørensen, Mandana ; Chaubron, Franck..
International Journal of Molecular Sciences. 24 (2023) 16 - p. 12594 , 2023

Link: https://doi.org/10.3390/..

10

Introduction to the Special Section on Reliability, Safety,..:

Collart-Dutilleul, Simon ; Haxthausen, Anne E. ; Lecomte, Thierry.
Formal Aspects of Computing. 35 (2023) 1 - p. 1-2 , 2023

Link: https://doi.org/10.1145/..

11

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/..

12

Allogenic Stem Cells Carried by Porous Silicon Scaffolds fo..:

Renaud, Matthieu ; Bousquet, Philippe ; Macias, Gerard...
Bioengineering. 10 (2023) 7 - p. 852 , 2023

Link: https://doi.org/10.3390/..

13

Nanostructured Porous Silicon for Bone Tissue Engineering: ..:

Fatima, Naveen ; Salehi, Hamideh ; Cueto-Díaz, Eduardo J....
Journal of Functional Biomaterials. 14 (2023) 10 - p. 493 , 2023

Link: https://doi.org/10.3390/..

14

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/..

15

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..