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 of...
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í autori:
Hudák, Štefan, 1939-
(Autor)
,
Teliopoulos, Kostas
(Autor)
Médium:
Článok
Jazyk:
angličtina
Pozri predplatné
Predplatné
Kliknite na „Pozri predplatné“.
Exempláre
Popis
Dalšie vydanie (1)
Podobné exempláre
UNIMARC/MARC
Podobné exempláre
(TIME) REACHABILITY ANALYSIS OF SYSTEMS
Autor: Hudák, Štefan, 1939-
Formal Specifications and Time Analysis of Systems
Autor: Teliopoulos, Kostas, 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, Š.
TB nets and TRA of time-critical systems
Autor: Hudák, Štefan, 1939-, a ďalší
