by
Skavhaug, Amund. editor.
Format:
Electronic Resources
Excerpt:
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim
by
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Format:
Electronic Resources
Excerpt:
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE
View Other Search Results
by
Courtois, Pierre-Jacques. author.
Format:
Electronic Resources
Excerpt:
Quality Control, Reliability, Safety and Risk.
by
Li, Daoliang. editor.
Format:
Electronic Resources
Excerpt:
and expert systems; 3s technology and precision agriculture; quality and safety of agricultural
by
Li, Daoliang. editor.
Format:
Electronic Resources
Excerpt:
and expert systems; 3s technology and precision agriculture; quality and safety of agricultural
by
Abdelwahed, El Hassan. editor.
Format:
Electronic Resources
Excerpt:
Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems -- IWCFS 2018, International
by
Casimiro, António. editor. (orcid)0000-0002-5522-5739
Format:
Electronic Resources
Excerpt:
Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime
by
Colnarič, Matjaž. author.
Format:
Electronic Resources
Excerpt:
real-time systems and their properties, specifically safety. Then, system and hardware architectures are
by
Saligrama, Venkatesh. editor.
Format:
Electronic Resources
Excerpt:
safety, environmental monitoring, power systems, manufacturing, national security, and space exploration
by
Ahmed, Mobyen Uddin. editor.
Format:
Electronic Resources
Excerpt:
healthcare support for the elderly, real-time monitoring systems, security, safety and communication, smart
by
Howar, Falk. editor.
Format:
Electronic Resources
Excerpt:
Safety Analysis of Automated Driving Systems -- Safety Interlocking as a Distributed Mutual Exclusion
by
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Excerpt:
Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC
Limit Search Results
Narrowed by: