Results 91 to 100 of about 864 (171)
Molluskicidal nanoemulsion of Neomitranthes obscura (DC.) N. Silveira for schistosomiasis control. [PDF]
Front Pharmacol, 2023 Rangel LDS +9 more
europepmc +1 more source
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. [PDF]
Sensors (Basel), 2021 Daszczuk WB.
europepmc +1 more source
Interactive Timed Simulation of Distributed Systems -
, 1995 Simulation is a powerful tool in the development cycle of distributed systems; it has long been studied and practiced. The present paper presents an approach to timed interactive simulation based on the execution of timed CSP-like models; the language ...
Roberto Manione +3 more
core
Correctness of the Promela models of MANIFOLD
, 2007 this paper we prove that the solutions we adopted are "correct" with respect to the behaviour of a MANIFOLD application. Section 2 contains two examples, some planning for future work and conlcusion is drawn in Section 5 2 MANIFOLD and its ...
Programs Alain Fagot +2 more
core
Pimephales promelas Rafinesque 1820
199. Pimephales promelas Rafinesque, 1820 Common name. Fathead minnow Taxonomy. Original description: Pimephales promelas Rafinesque 1820: 299 [Pond near Lexington, Kentucky, U.S. A; holotype (unique): whereabouts unknown]. Revisions. None. Illustrations. None. Distribution in Iran.
Sayyadzadeh, Golnaz +1 more
openaire +1 more source
A Scheme of Construct Association from PROMELA to Java
, 2013 PROMELA is one of the most widely used modeling languages to model concurrent and reactive systems. Although model checking can be veru useful, once PROMELA model has been generated it is still necessary to write the application manually by hand.
Suprapto, Suprapto +3 more
core
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
Fully Automated Translation of BoxTalk to Promela [PDF]
, 2011 Telecommunication systems are structured to enable incremental growth, so that new telecommunication features can be added to the set of existing features. With the addition of more features, certain existing features may exhibit unpredictable behaviour.
Kajarekar, Tejas
core
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