Application of model checking to the verification of digital systems

Bibliographic Details
Main Authors:	Kotmanová, Daniela (Author), Kolesár, Milan, 1942-2022 (Author)
Format:	Article
Language:	Slovak English
Subjects:	digitálne systémy formálna verifikácia temporálna logika overovanie modelov

Similar Items