Simulation and verification of digital systems with NuSMV

Bibliographic Details
Main Author:	Kotmanová, Daniela (Author)
Format:	Article
Language:	Slovak English
Subjects:	digitálne systémy mikrovlnné rúry modelovanie a simulácia overovanie modelov formálna verifikácia temporálna logika štúdie

Similar Items