-
Computer aided verification : Fourth international workshop : Konf. CAV '92, Montreal, Canada, 29. Juny - 1. July 1992 /
-
Formal verification of hardware design /
-
Temporal verification of reactive systems : Safety /
-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
A unified approach for timing verification and delay faut testing
-
Computer science today : Recent trends and developments /
-
Symbolic model checking /
-
Principles of Model checking
-
Model checking
-
Dependability of critical computer systems. 2 /
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Computer systems and computer-aided application : Proceedings of the 10th International conference systems for automation of engineering and research and DECUS national users group seminar ''96 : Konf. SAER ''96, Varna, Bulgaria, 27.- 29. Sept. 1995 /
-
Computer aided design and Manufacturing /
-
VHDL Visualizer: HDL Model Visualization with Simulation-Based Verification
-
Design, automation and test in Europe. Conference and exhibition 1999 : Proceedings
-
Design, automation and test in Europe. Conference and exhibition 2001 : Proceedings. Munich, Germany. 13.- 16. March 2001
-
Design, automation and test in Europe. Conference and exhibition 2000 : Proceedings.Paris, France. 27.- 30. March 2000
-
Modul testovania pre online skúškový systém
-
Encyklopedie Computer Aided Designu : Software pro CAD. Grafické karty. Digitizéry. Plotry a tiskárny. Monitory. Grafické stanice
-
Sequential logic testing and verification /
-
Digital System Verification Using Simulation and Visualization
-
System level functional validation of multimedia applications = Overovanie funkčnej platnosti multimediáknych aplikácií na systémovej úrovni : Dizertačná práca
-
xxx
-
Nekonvenčné modely rastu spoľahlivosti : Č.ved.odb. 26-13-9. Dát. obhaj. 3.4.2008
-
Analýza zisťovania spôsobilosti trojdimenzionálneho meracieho stroja WENZEL v PCA Slovakia, s.r.o. Trnava : Bakalárska práca
-
Merací systém pre overovanie prevodníkov tlaku
-
Vplyv prostredia na presnosť a reprodukovateľnosť meraní vzdialenosti pri radarových hladinomeroch : dát. obhaj. 12.4.2016, č. ved. odb. 5-2-54
-
Vyhodnotenie vplyvu neistôt merania pri overovaní analyzátorov dychu
-
Overovanie adaptívnych metód predikcie
-
Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
-
Dependability of critical computer systems. 2 /
-
Computer-Aided verification /
-
Symbolic model checking /
-
Design, automation and test in Europe. Conference and exhibition 1999 : Proceedings
-
Design, automation and test in Europe. Conference and exhibition 2001 : Proceedings. Munich, Germany. 13.- 16. March 2001
-
Design, automation and test in Europe. Conference and exhibition 2000 : Proceedings.Paris, France. 27.- 30. March 2000
-
Computer science today : Recent trends and developments /
-
Correct hardware design and verification methods : IFIP WG10.2 Advanced research working conference : Konf. CHARME'93, Arles, Frances, 24.- 26. May 1993 /
-
Principles of Model checking
-
Model checking