Filtry
Enhanced Property Specification and Verification in BLAST
JC - Počítačový hardware a software
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Shift spaces, omega-chaos and specification property
BA - Obecná matematika
- 2009 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Distributionally scrambled invariant sets in a compact metric space
BA - Obecná matematika
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Dynamical systems generating large sets of probability distribution functions
BA - Obecná matematika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Towards Context Independent Extra-functional Properties Descriptor for Components
IN - Informatika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Generalized specification property and distributional chaos
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Application of Target Costing and Comparison with The Theory of Technical Systems
JP - Průmyslové procesy a zpracování
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
IN - Informatika
- 2012 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Theory Based Management and Software Support of Property Driven Designing of Technical Products
JQ - Strojní zařízení a nástroje
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
On entropy of dynamical systems with almost specification
BA - Obecná matematika
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 z 3 159