Search results
- Principles of Model checking
Baier Christel Katoen Joost-Pieter
Cambridge : MIT Press, 2008 . - 975 s
ISBN 978-0-262-02649-9
navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Model checking
Clarke Edmund M. Grumberg Orna Peled Doron A.
1.vyd.
Cambridge : MIT Press, 1999 . - 314 s
ISBN 0-262-03270-8
navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia
monografiaFaculty Available Inaccesible Issued For Request Only FEI 0 0 0 1 - Computer science today : Recent trends and developments / Edit. Leeuwen,Jan, van
Leeuwen Jan van (Compiler)
Berlin : Springer Verlag, 1995 . - 641 s
ISBN 3-540-60105-8
počítače programovanie verifikácia overovanie softvérové inžinierstvo multimédiá
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 - Temporal verification of reactive systems : Safety / [aut.] Manna,Zohar; Pnueli,Amir
Manna Zohar Pnueli Amir
New York : Springer Verlag, 1995 . - 512 s
ISBN 0-387-94459-1
počítačové programy programové systémy overovanie programových systémov verifikácia paralelné spracovanie
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 - Symbolic model checking / [aut.] McMilan,Kenneth L
McMilan Kenneth L
1.vyd.
Boston : Kluwer Academic Publishers, 1993 . - 194 s
ISBN 0-7923-9380-5
navrhovanie počítačových systémov logické obvody spracovanie dát overovanie verifikácia
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0 - Computer-Aided verification / Edit. Kurshan,Robert
Kurshan Robert (Compiler)
1.vyd.
Boston : Kluwer Academic Publishers, 1992 . - 142 s
ISBN 0-7923-9285-X
verifikácia overovanie CAD počítačové systémy
monografiaFaculty Available Inaccesible Issued For Request Only FIIT 1 0 0 0