Zobrazeno 1 - 10
of 42
pro vyhledávání: '"binary decisions diagrams"'
Autor:
Ulmeanu, Anatoli Paul, Nistor-Vlad, Roxana-Mihaela, Dumitrescu, Ana-Victoria, Tanasiev, Vladimir
Publikováno v:
In Nuclear Engineering and Design March 2024 418
Publikováno v:
Computers & Electrical Engineering. Jan2003, Vol. 29 Issue 1, p13. 12p. 4 Diagrams, 2 Charts.
Publikováno v:
JOURNAL OF SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. 9:135-172
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=CSC_________::2898d83dc58d30bf3024abc0ace7ea3a
http://juuli.fi/Record/0274757616
http://juuli.fi/Record/0274757616
Publikováno v:
Circuits and Systems I: Regular Papers, IEEE Transactions on; 2024, Vol. 71 Issue: 7 p3282-3293, 12p
Publikováno v:
Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 2, p1-37, 37p
Autor:
Rovetto, Carlos A.1 (AUTHOR) carlos.rovetto@utp.ac.pa, Concepción, Tomás J.1 (AUTHOR) tomas.concepcion1@utp.ac.pa, Cano, Elia Esther1 (AUTHOR) elia.cano@utp.ac.pa
Publikováno v:
Sensors (14248220). Aug2016, Vol. 16 Issue 8, p1307-1320. 14p. 6 Diagrams.
Publikováno v:
Informatique et langage [cs.CL]. 2017
National audience; Model verification, more commonly known as Model Checking, is a concept basedon an automatic formal verification approach of temporal properties on reactive systems.INRIA in collaboration with LEAT developed CLEM, a modeling and pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3f0cafa94a141874bf357f20bd371ea4
https://hal.inria.fr/hal-01665717
https://hal.inria.fr/hal-01665717
Publikováno v:
Maintenance & Reliability / Eksploatacja i Niezawodność; 2018, Vol. 20 Issue 4, p558-566, 9p
Autor:
Vasicek, Zdenek, Sekanina, Lukas
Publikováno v:
2014 IEEE International Conference on Evolvable Systems; 2014, p133-140, 8p