Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings
| Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings |
| Autore | Katsaros Panagiotis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2025 |
| Descrizione fisica | 1 online resource (606 pages) |
| Disciplina | 620.86011 |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 9783032050731 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911047800803321 |
Katsaros Panagiotis
|
||
| Cham : , : Springer International Publishing AG, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings
| Model-Based Safety and Assessment : 9th International Symposium, IMBSA 2025, Athens, Greece, September 24-26, 2025, Proceedings |
| Autore | Katsaros Panagiotis |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2025 |
| Descrizione fisica | 1 online resource (606 pages) |
| Disciplina | 620.86011 |
| Collana | Lecture Notes in Computer Science Series |
| ISBN | 9783032050731 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996678675103316 |
|
Katsaros Panagiotis
|
||
| Cham : , : Springer International Publishing AG, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova
| Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (270 pages) |
| Disciplina |
518.1
620.86011 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Computers, Special purpose Computer networks Computer systems Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems Computer Communication Networks Computer System Implementation |
| ISBN |
9783031158421
3031158423 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety analysis automation -- An AEBS use case for Model-Based System Design integrating Safety Analyses and Simulation -- COMPASTA: Extending TASTE with formal design and verification functionality -- MBSA practices -- MBSA in aeronautics: a way to support safety activities -- Modeling the Variability of System Safety Analysis using State-Machine Diagrams -- Model-Based Safety Analysis: a Practical Experience -- Practical application of Model-Based Safety Analysis to the Design of Global Operating System of new rolling stock on automatic metro lines -- Plug-and-Produce... safely! End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0 -- Causal models and failure modeling strategies -- Strategies for modelling failure propagation in dynamic systems with AltaRica -- Towards Causal Model-based Engineering in Automotive System Safety -- Performance assessment of an offshore windmill farm using AltaRica 3.0 -- Component Fault and Deficiency Tree (CFDT): Combining functional safety and SOTIF Analysis -- Designing mitigations of Faults and Attacks -- A Capella-based Tool for the Early Assessment of Nano/Micro Satellites Availability -- Data based safety analysis -- A Deep Learning Framework for Wind Turbine Repair Action Prediction Using Alarm Sequences and Long Short Term Memory Algorithms -- Tool Paper: Time Series Anomaly Detection Platform for MATLAB Simulink -- Keep your Distance: Determining Sampling and Distance Thresholds in Machine Learning Monitoring -- Dynamic risk assessment -- Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces -- SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. |
| Record Nr. | UNINA-9910592986203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||