Filtry
Towards Hardware Verification
JC - Počítačový hardware a software
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Testos-Spectra: A tool for verification of ptLTL on C/C++ programs
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
Testos-Aufover - Verification as a Service
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- R •
- Odkaz
Rok uplatnění
R - Software
Výsledek na webu
Spoken Pass-Phrase Verification in the i-vector Space
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Property Driven Distribution of Nested DFS
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Fair Termination for Parameterized Probabilistic Concurrent 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
Pattern-Based Verification for Trees
Rozšířený abstrakt shrnující rozšíření verifikace založené na vzorech na stromové struktury.
JC - Počítačový hardware a software
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Automation of Processor Verification Using Recurrent Neural Networks
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
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)
Distributed LTL Model-Checking in SPIN
JC - Počítačový hardware a software
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 1 789