Results 171 to 171 of about 864 (171)
Some of the next articles are maybe not open access.

Restricting DEv-PROMELA with a hierarchy of simulation formalisms.

2017
Yacoub, Aznam   +2 more
openaire   +2 more sources
model checking
spin
mathematics
formal verification
[info] computer science [cs]
animalia
taxonomy
biodiversity
blockchain
previous   16  17  18  

Home - About - Disclaimer - Privacy