Cover Image

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
PhysicalDescription:Fotogr., sch.
ISSN:1335-8243
Subjects:
digitálne systémy
formálna verifikácia
temporálna logika
overovanie modelov
Description
Item Description:Biogr. údaje
Physical Description:Fotogr., sch.
ISSN:1335-8243
Bibliography:Bibliogr. odkazy

Similar Items