Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Havayarimana , Dorine"'
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
