Results 221 to 230 of about 1,197,742 (268)
Advanced Functional Materials, EarlyView.Ferroelectric tunnel junction devices based on epitaxial undoped ferroelectric HfO2 films demonstrate stable switching endurance of over 106 switching cycles, low write voltages of ±3 V, 16 measured resistance states, and neuromorphic capability.
Markus Hellenbrand +13 more
wiley +1 more source
Advanced Functional Materials, EarlyView.A tandem gas diffusion electrode (GDE) leveraging hierarchically engineered microgranules enables efficient CO2 electroreduction under dilute CO2 conditions. A key innovation lies in the solvent‐free precision assembly of metal–organic‐frameworks, carbon nanotubes, and copper nanoparticles.
Kai‐Jen Wu +7 more
wiley +1 more source
Fact-Checking Large Language Model Responses to a Health Care Prompt: Comparative Study. [PDF]
JMIR Form ResRyan P, Davoren O, Elwyn G.
europepmc +1 more source
From Self-Esteem to Symptoms: A Potential Role for Difficulties Accessing Internal States and Body-Checking Behavior in Disordered Eating Patterns. [PDF]
Behav Sci (Basel)Arbich D, Kaplan D, Dar R.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2014
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire +5 more sources
This chapter gives an overview of model checking, focusing on the verification of concurrent, distributed software systems by means of the SP I N model checker. After discussing S P I N’s input languages, more details are given on the verification flow and on how to improve the verification performance.
Tingting Hu, Ivan Cibrario Bertolotti
openaire +5 more sources
Informatik-Spektrum, 2004
Die Gewahrleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. "sicherheitskritischen" Systeme zu, bei dem ein Systemversagen Menschenleben gefahrden kann.
Ralf Buschermöhle +7 more
openaire +2 more sources
Die Gewahrleistung der korrekten Funktionsweise von Hard- und Software ist ein entscheidender Faktor bei der heutigen Systementwicklung. Dies trifft ganz besonders auf das Gebiet der sog. "sicherheitskritischen" Systeme zu, bei dem ein Systemversagen Menschenleben gefahrden kann.
Ralf Buschermöhle +7 more
openaire +2 more sources
2023
In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description.
Muhammad Atif, Jan Friso Groote
openaire +3 more sources
In this chapter, we are going to learn about model-checking with mCRL2. Model-checking is the activity of checking properties of a given behaviour. In the context of software engineering such properties are also called requirements that express expected behaviours from the behavioural description.
Muhammad Atif, Jan Friso Groote
openaire +3 more sources
1996
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Clarke, Edmund M, O. Grumberg, D. Long
openaire +2 more sources
Model checking is an automatic technique for verifying finite-state reactive systems, such as sequential circuit designs and communication protocols.
Clarke, Edmund M, O. Grumberg, D. Long
openaire +2 more sources
2003
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing system safety by uncovering safety flaws and weaknesses of the system. The main drawback of this analysis technique is, that it is based on informal grounds, so safety flaws may ...
Thums, Andreas, Schellhorn, Gerhard
openaire +2 more sources
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing system safety by uncovering safety flaws and weaknesses of the system. The main drawback of this analysis technique is, that it is based on informal grounds, so safety flaws may ...
Thums, Andreas, Schellhorn, Gerhard
openaire +2 more sources