Filtry
Towards Hardware Verification
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
YAHODA: verification tools database
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Simulation Based Computation of Certificates for Safety of Dynamical Systems
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
IN - Informatika
- 2010 •
- O
Rok uplatnění
O - Ostatní výsledky
CoCoME in Fractal
JC - Počítačový hardware a software
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
HADES (Hazard Detection System)
JC - Počítačový hardware a software
- 2014 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
Verification of COMBO6 VHDL Design
IN - Informatika
- 2003 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Automata-based Verification of Programs with Tree Updates
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A Road to a Formally Verified General-Purpose Operating System
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Model checking in IPv6 Hardware Router Design
JC - Počítačový hardware a software
- 2002 •
- A
Rok uplatnění
A - Audiovizuální tvorba
- 1 - 10 z 3 109