Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Logique temporelle des actions (TLA)"'
Autor:
Methni, Amira
Avec l'évolution des technologies, la complexité des systèmes informatiques ne cesse de s'accroître. Parmi ces systèmes, on retrouve les logiciels critiques qui doivent offrir une garantie de sûreté de fonctionnement qui s'avère crucial et po
Externí odkaz:
http://www.theses.fr/2016CNAM1057/document
Autor:
Methni, Amira
Software systems are critical and complex. In order to guarantee their correctness, the use of formal methodsis important. These methods can be defined as mathematically based techniques, languages and tools for specifying and reasoning about systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::4462ca30b80a0754ac7ca143a0ecf72f
https://theses.hal.science/tel-01445983
https://theses.hal.science/tel-01445983