ReČeK

Externí odkazy

Hledat v Souborném katalogu ČRHledat na Knihovny.cz

Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů

Vojnar TomášautorAutoritní záznam NK ČRVysoké učení technické v Brně. Ústav inteligentních systémůdalší primární původceAutoritní záznam NK ČR

Věcné třídění

Bibliografické údaje

Vydáno
2011
Jazyk
Angličtina

Vydání

  • Tištěná kniha
    Brožovaná vazba

    978-80-214-4251-1 (brož.)

    Vydáno:

Související tituly

Od stejného autora

Moderní biometrické systémy založené na více charakteristikách a jejich vlastnosti

Vysoké učení technické v Brně

2016

Relational verification of programs with integer data

Vysoké učení technické v Brně

2012

Harnessing forest automata for verification of heap manipulating programs

Vysoké učení technické v Brně

2012

Analysis and testing of concurrent programs

Vysoké učení technické v Brně

2012

Simulations and antichains for efficient handling of finite automata

Vysoké učení technické v Brně

2010

Verification of asynchronous and parametrized hardware designs

Vysoké učení technické v Brně

2010

Od stejného nakladatele

Dotyk mojej podstaty

Vysoké učení technické v Brně

2026

Modely plasticity a tvárného lomu používané pro houževnaté kovové materiály

Vysoké učení technické v Brně

2026

Nové přístupy k čištění spalin a odpadních plynů

Vysoké učení technické v Brně

2026

Entropie elektro(energetiky)

Vysoké učení technické v Brně

2026

Research in the field of neutron dosimetry

Vysoké učení technické v Brně

2026

Alternativní zdroje elektrické energie

Vysoké učení technické v Brně

2026