Erscheinungsjahr
Format
Lizenz
Sprache
-
Automatically generating test cases for safety-critical software via symbolic execution
Elsevier | 2023|Schlagwörter: Safety-critical software -
V&V-based remaining fault estimation model for safety–critical software of a nuclear power plant
Elsevier | 2012|Schlagwörter: Safety–critical software -
Proceedings on the 1st Workshop on Agile Methods Applied to Development and Certification of Safety-critical Software
Online Contents | 2016|Schlagwörter: safety-critical software -
Information flow security, abstraction and composition
IET | 2009|Schlagwörter: safety-critical software -
Software health management: a necessity for safety critical systems
Online Contents | 2013|Schlagwörter: Safety-critical software -
Towards a continuous certification of safety-critical avionics software
Elsevier | 2020|Schlagwörter: Safety-critical software engineering; -
Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications
IET | 2011|Schlagwörter: safety-critical software -
Scrum for safety: an agile methodology for safety-critical software systems
Freier ZugriffOnline Contents | 2022|Schlagwörter: Safety-critical software systems -
A novel framework for supporting the design of moving block train control system schemes
SAGE Publications | 2014|Schlagwörter: safety-critical software -
Software hazard analysis for nuclear digital protection system by Colored Petri Net
Elsevier | 2017|Schlagwörter: Safety-critical software -
Quality assurance for a nuclear power plant simulator by applying standards for safety-critical software
Elsevier | 2013|Schlagwörter: Standards for safety-critical software -
Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)
Freier ZugriffDataCite | 2015|Schlagwörter: safety-critical software development -
Software development methodology for computer based I&C systems of prototype fast breeder reactor
Elsevier | 2015|Schlagwörter: Safety critical software -
Framework for Software Health Management Using Bayesian Statistics
NTIS | 2020|Schlagwörter: Safety critical software -
Using language workbenches and domain-specific languages for safety-critical software development
Online Contents | 2018|Schlagwörter: Safety-critical software development -
Experiences from introducing UML-based development in a large safety-critical project
Online Contents | 2006|Schlagwörter: Safety-critical software -
Experiences from introducing UML-based development in a large safety-critical project
Online Contents | 2006|Schlagwörter: Safety-critical software -
A Framework for Software Health Management Using Bayesian Statistics
NTRS|Schlagwörter: safety critical software
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.