HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]
Sensors (Basel), 2022 Hamza AA +3 more
europepmc +1 more source
On the Modeling and Verification of Collective and Cooperative Systems. [PDF]
Front Robot AI, 2022 Aldini A.
europepmc +1 more source
Outline for an operational semantics of PROMELA [PDF]
, 1997 V. Natarajan, Gerard J. Holzmann
openaire +1 more source
Adaptive On-the-Fly Changes in Distributed Processing Pipelines. [PDF]
Front Big Data, 2021 Albers T +3 more
europepmc +1 more source
A verification strategy for web services composition using enhanced stacked automata model. [PDF]
Springerplus, 2015 Nagamouttou D +3 more
europepmc +1 more source
Cytochrome P450-dependent biotransformation capacities in embryonic, juvenile and adult stages of zebrafish (Danio rerio)-a state-of-the-art review. [PDF]
Arch Toxicol, 2021 Loerracher AK, Braunbeck T.
europepmc +1 more source
Model checking: recent improvements and applications. [PDF]
Int J Softw Tools Technol Transf, 2018 Bošnački D, Wijs A.
europepmc +1 more source
Creating implementations from PROMELA models [PDF]
, 1997 Siedfried Löffler, Ahmed Serhrouchni
openaire +1 more source
Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. [PDF]
Form Methods Syst Des, 2017 Konnov I, Lazić M, Veith H, Widder J.
europepmc +1 more source