E-LIB Suche - Ergebnisse für: Prosvirnova, Tatiana

1

Safety Barrier Diagrams for Specific Operations of Drones:

, In: 2024 International Conference on Unmanned Aircraft Systems (ICUAS),

Bieber, Pierre ; Delmas, Kevin ; Blaye, Patrick Le... - p. 858-864 , 2024

Link: https://doi.org/10.1109/..

2

Strategies for Modelling Failure Propagation in Dynamic Sys..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,

Prosvirnova, Tatiana ; Seguin, Christel ; Frazza, Christophe... - p. 101-115 , 2022

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

3

Performance Assessment of an Offshore Windmill Farm with Al..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,

Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine - p. 130-145 , 2022

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

4

Model-Based Safety and Assessment: 8th International Sympos..

Lecture Notes in Computer Science, 13525

Seguin, Christel ; Zeller, Marc ; Prosvirnova, Tatiana - 1st ed. 2022 . , 2022

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

5

Modeling Patterns for the Assessment of Maintenance Policie..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,

Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine - p. 32-46 , 2019

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

6

Synchronization of System Architecture, Multi-physics and S..:

, In: Complex Systems Design & Management,

Batteux, Michel ; Choley, Jean-Yves ; Mhenni, Faïda... - p. 37-48 , 2019

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

7

Model Synchronization: A Formal Framework for the Managemen..:

, In: Model-Based Safety and Assessment; Lecture Notes in Computer Science,

Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine - p. 157-172 , 2019

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

8

Synchronization of System Architecture and Safety Models: a..:

, In: 2019 International Symposium on Systems Engineering (ISSE),

Batteux, Michel ; Choley, Jean-Yves ; Mhenni, Faida.. - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

9

Comparison of modeling formalisms for Safety Analyses: SAML..:

Lipaczewski, Michael ; Ortmeier, Frank ; Prosvirnova, Tatiana..
Reliability Engineering & System Safety. 140 (2015) - p. 191-199 , 2015

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

10

Model‐Based Safety Assessment: The AltaRica 3.0 Project:

Prosvirnova, Tatiana ; Brameret, Pierre-Antoine ; Rauzy, Antoine
INSIGHT. 16 (2013) 4 - p. 24-25 , 2013

Link: https://doi.org/10.1002/..

11

Model-Based Safety Assessment : Comment renforcer la confia..:

Frédéric, Milcent ; Michel, Batteux ; Prosvirnova, Tatiana.
hal-03966550. , 2022

Link: https://hal.science/hal-..

12

Performance assessment of an offshore windmill farm with Al..:

Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-15842-1_10. , 2022

Link: https://hal.science/hal-..

13

Stratégies de modélisation AltaRica de la propagation de dé..:

Prosvirnova, Tatiana ; Seguin, Christel ; Frazza, Christophe...
hal-03877961. , 2022

Link: https://hal.science/hal-..

14

Validation du générateur de séquences pour AltaRica 3.0:

Frédéric, Deschamps ; Alexandre, Prost ; Prosvirnova, Tatiana.
hal-03878502. , 2022

Link: https://hal.science/hal-..

15

Performance assessment of an offshore windmill farm with Al..:

Batteux, Michel ; Prosvirnova, Tatiana ; Rauzy, Antoine
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-15842-1_10. , 2022

Link: https://hal.science/hal-..