Results 121 to 130 of about 2,823 (181)
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]
Sensors (Basel), 2020 Chouhan AP, Banda G.
europepmc +1 more source
Quantitative PCR Assays for Detecting Loach Minnow (Rhinichthys cobitis) and Spikedace (Meda fulgida) in the Southwestern United States. [PDF]
PLoS One, 2016 Dysthe JC +5 more
europepmc +1 more source
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. [PDF]
Front Robot AI, 2018 De Nicola R, Di Stefano L, Inverso O.
europepmc +1 more source
Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]
Sensors (Basel), 2019 López J +2 more
europepmc +1 more source
The SLMTA programme: Transforming the laboratory landscape in developing countries. [PDF]
Afr J Lab Med, 2014 Yao K +3 more
europepmc +1 more source
The fission yeast Cdc1 protein, a homologue of the small subunit of DNA polymerase delta, binds to Pol3 and Cdc27. [PDF]
EMBO J, 1996 MacNeill SA +4 more
europepmc +1 more source
Formal modelling and analysis of routing protocol security in wireless sensor networks [PDF]
, 2009 Henderson, William +2 more
core