Preskočiť na obsah
Košík:
0
záznamov
(Plný)
Prihlásiť
Jazyk
Anglický
Slovenský
Katalóg
Katalóg monografií
Katalóg článkov
Katalóg voľných diel
Katalóg obchodne nedostupných diel
Všetko
Názov
Autor
Predmet
Signatúra
ISBN/ISSN
Hľadať
Pokročilé
(TIME) REACHABILITY ANALYSIS O...
Vytvoriť citáciu
Vytlačiť
Exportovať záznam
Export to MARC
Export to BibTeX
Export to Jednoduchý textový výpis
Export to ISBD (text)
Export to Citácia ISO 690 (HTML)
Export to Citácia ISO 690 (.doc)
Pridať do košíka
Odobrať z košíka
Trvalý odkaz
(TIME) REACHABILITY ANALYSIS OF SYSTEMS
Zobraziť ďalšie vydanie (1)
Podrobná bibliografia
Hlavný autor:
Hudák, Štefan, 1939-
(Autor)
Médium:
Článok
Jazyk:
angličtina
ISBN:
8088786770
Pozri predplatné
Predplatné
Kliknite na „Pozri predplatné“.
Exempláre
Popis
Dalšie vydanie (1)
Podobné exempláre
UNIMARC/MARC
Popis
ISBN:
8088786770
Podobné exempláre
Time Reachability Analysis of Systems
Autor: Hudák, Štefan, 1939-, a ďalší
Reachability analysis of systems based on Petri Nets
Autor: Hudák, Štefan, 1939-
Vydavateľské údaje: (1999)
De/Compositional Reachability Analysis
Autor: Hudák, Š.
Formal Specifications and Time Analysis of Systems
Autor: Teliopoulos, Kostas, a ďalší
Formal methods for specification and analysis of time-critical systems
Autor: Šimoňák, Slavomír, 1974-, a ďalší
