Development of Safety-Critical Systems Architecture and Software /
This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertainin...
Guardat en:
| Autors principals: | Karmakar, Gopinath (Autor), Wakankar, Amol (Autor), Kabra, Ashutosh (Autor), Pandya, Paritosh (Autor) |
|---|---|
| Autor corporatiu: | SpringerLink (Online service) |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edició: | 1st ed. 2023. |
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-27901-0 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Human Factor Security and Safety A Behavioral Computing Approach /
per: Wang, Cheng
Publicat: (2025)
per: Wang, Cheng
Publicat: (2025)
Managing IT Service Security Methods and Recipes for User Organizations and Providers Along the Supply Chain /
per: von Faber, Eberhard
Publicat: (2024)
per: von Faber, Eberhard
Publicat: (2024)
Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18–20, 2024, Revised Selected Papers /
Publicat: (2025)
Publicat: (2025)
Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13–15, 2023, Revised Selected Papers /
Publicat: (2024)
Publicat: (2024)
Data Protection for Software Development and IT A Practical Introduction /
per: Kneuper, Ralf
Publicat: (2025)
per: Kneuper, Ralf
Publicat: (2025)
Challenges of Software Verification
Publicat: (2023)
Publicat: (2023)
Information Systems Security and Privacy 7th International Conference, ICISSP 2021, Virtual Event, February 11–13, 2021, and 8th International Conference, ICISSP 2022, Virtual Event, February 9–11, 2022, Revised Selected Papers /
Publicat: (2023)
Publicat: (2023)
Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16–20, 2025, Proceedings /
Publicat: (2025)
Publicat: (2025)
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Reference Architectures for Critical Domains Industrial Uses and Impacts /
Publicat: (2023)
Publicat: (2023)
Blockchain – ICBC 2023 6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23–26, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Blockchain – ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Security and Trust Management 18th International Workshop, STM 2022, Copenhagen, Denmark, September 29, 2022, Proceedings /
Publicat: (2023)
Publicat: (2023)
Security and Trust Management 19th International Workshop, STM 2023, The Hague, The Netherlands, September 28, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19–20, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Software Architecture Research Roadmaps from the Community /
Publicat: (2023)
Publicat: (2023)
Software Architectures Topics Usually Missed in Textbooks /
per: Nagl, Manfred, et al.
Publicat: (2024)
per: Nagl, Manfred, et al.
Publicat: (2024)
Advanced Information Systems Engineering Workshops CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Blockchain and Web3.0 Technology Innovation and Application First Conference, BWTAC 2024, Guangzhou, China, November 6–8, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World /
per: Hoda, Rashina
Publicat: (2024)
per: Hoda, Rashina
Publicat: (2024)
Domain-Specific Languages Effective Modeling, Automation, and Reuse /
per: Wąsowski, Andrzej, et al.
Publicat: (2023)
per: Wąsowski, Andrzej, et al.
Publicat: (2023)
Computers and Their Applications 40th International Conference, CATA 2025, San Francisco, CA, USA, March 17–18, 2025, Proceedings /
Publicat: (2025)
Publicat: (2025)
Internet of Things – ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings /
Publicat: (2023)
Publicat: (2023)
Internet of Things – ICIOT 2024 9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Internet of Things – ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17–18, 2023, Proceedings /
Publicat: (2024)
Publicat: (2024)
Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16–17, 2025, Proceedings /
Publicat: (2025)
Publicat: (2025)
Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization /
per: Parsa, Saeed
Publicat: (2023)
per: Parsa, Saeed
Publicat: (2023)
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday /
Publicat: (2025)
Publicat: (2025)
Developing Information Systems Accurately A Wholistic Approach /
per: de Brock, Bert
Publicat: (2023)
per: de Brock, Bert
Publicat: (2023)
Software Ecosystems Tooling and Analytics /
Publicat: (2023)
Publicat: (2023)
Security and Privacy in Smart Environments
Publicat: (2025)
Publicat: (2025)
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers /
Publicat: (2023)
Publicat: (2023)
End-User Development 9th International Symposium, IS-EUD 2023, Cagliari, Italy, June 6–8, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques /
per: Hu, Chenglie
Publicat: (2023)
per: Hu, Chenglie
Publicat: (2023)
UML-Based Software Product Line Engineering with SMarty
Publicat: (2023)
Publicat: (2023)
Advanced Information Systems Engineering Workshops CAiSE 2024 International Workshops, Limassol, Cyprus, June 3–7, 2024, Proceedings /
Publicat: (2024)
Publicat: (2024)
Network and System Security 17th International Conference, NSS 2023, Canterbury, UK, August 14–16, 2023, Proceedings /
Publicat: (2023)
Publicat: (2023)
Agile Software Engineering Skills
per: Bass, Julian Michael
Publicat: (2023)
per: Bass, Julian Michael
Publicat: (2023)
Network and System Security 18th International Conference, NSS 2024, Abu Dhabi, United Arab Emirates, November 20–22, 2024, Proceedings /
Publicat: (2025)
Publicat: (2025)
Ítems similars
-
Human Factor Security and Safety A Behavioral Computing Approach /
per: Wang, Cheng
Publicat: (2025) -
Managing IT Service Security Methods and Recipes for User Organizations and Providers Along the Supply Chain /
per: von Faber, Eberhard
Publicat: (2024) -
Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18–20, 2024, Revised Selected Papers /
Publicat: (2025) -
Critical Information Infrastructures Security 18th International Conference, CRITIS 2023, Helsinki Region, Finland, September 13–15, 2023, Revised Selected Papers /
Publicat: (2024) -
Data Protection for Software Development and IT A Practical Introduction /
per: Kneuper, Ralf
Publicat: (2025)