Academic literature on the topic 'Safety-critical SW components'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Safety-critical SW components.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Safety-critical SW components"
Molnár, Vince, and István Majzik. "Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms." Periodica Polytechnica Electrical Engineering and Computer Science 61, no. 2 (April 24, 2017): 132. http://dx.doi.org/10.3311/ppee.9755.
Full textVan Gent, Dominique, Sandeep Sharma, Allison Hortle, and Linda Stalker. "The Lesueur Formation storage complex in South Western Australia: safe, secure long-term storage of CO2." APPEA Journal 60, no. 2 (2020): 789. http://dx.doi.org/10.1071/aj19107.
Full textSharif, Uzair, Daniel Mueller-Gritschneder, and Ulf Schlichtmann. "REPAIR: Control Flow Protection based on Register Pairing Updates for SW-Implemented HW Fault Tolerance." ACM Transactions on Embedded Computing Systems 20, no. 5s (October 31, 2021): 1–22. http://dx.doi.org/10.1145/3477001.
Full textVermesan, Ovidiu, Reiner John, Patrick Pype, Gerardo Daalderop, Kai Kriegel, Gerhard Mitic, Vincent Lorentz, et al. "Automotive Intelligence Embedded in Electric Connected Autonomous and Shared Vehicles Technology for Sustainable Green Mobility." Frontiers in Future Transportation 2 (August 26, 2021). http://dx.doi.org/10.3389/ffutr.2021.688482.
Full textDissertations / Theses on the topic "Safety-critical SW components"
CARNEVALI, LAURA. "Formal methods in the development life cycle of real-time software." Doctoral thesis, 2010. http://hdl.handle.net/2158/521924.
Full textConference papers on the topic "Safety-critical SW components"
Zelinko, Ilona, Vyacheslav Kharchenko, and Konstantin Leontiev. "Cyber Security Assessment of Component Off-the-Shelf Based NPP I&C System Using IMECA Technique." In 2017 25th International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/icone25-67120.
Full text