Výsledky vyhľadávania
- Functional Verification of the Digital System Design
Macko Dominik ; I100
Počítačové architektury a diagnostika 2012 : . s.61-66
digitálny systém formálne metódy návrh simulácia verifikácia
článok zo zborníka
AFC - Publikované príspevky na zahraničných vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
článok
- Constructing Expert System for Model Driven Development
Líška Miroslav ; I200
INFORMATICS 2007 : . s.176-179
softvérové inžinierstvo formálne metódy UML expertné systémy
článok zo zborníka
AFD - Publikované príspevky na domácich vedeckých konferenciách
V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
(1) - skriptá
(1) - učebnicačlánok
- Lectures on formal methods and performance analysis : First EEF/euro summer school on trends in computer science. Berg en Dal, The Netherlands. 3.- 7. July 2000 / Zost.: Briksma, Ed a kol.
Brinksma Ed (zost.) Hermanns Holger (zost.) Katoen Joost-Pieter (zost.)
Berlin : Springer Verlag, 2001 . - 429 s
ISBN 3-540-42479-2
výkonnosť počítačov počítačové systémy formálne metódy
zborníkFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 
kniha
- A Contribution to comprehension model and presentation of Z specifications : Diz.práca:Obh. 29.4.1999
Mikušiak Luboš Vojtek Vladimír (škol.) ; E220
Bratislava : STU v Bratislave FEI, 1999
FEI ; . - 94 s
programovanie formálne metódy
dizertačná prácaFakulta Voľné Prezenčne Vypožičané Nedostupné FEI 2 0 0 0 kniha
- Formal methods for VLSI design / Sprac. Staunstrup,Jorgen
Staunstrup Jorgen (zost.)
Amsterdam : North-Holland, 1990 . - 329 s
ISBN 0-444-88858-6
počítače VLSI navrhovanie počítačových systémov matematická kybernetika formálne metódy
zborníkFakulta Voľné Prezenčne Vypožičané Nedostupné FIIT 1 0 0 0 kniha