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é
VERIFICATION OF REAL-TIME CONT...
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
VERIFICATION OF REAL-TIME CONTROL SYSTEMS
Podrobná bibliografia
Hlavný autor:
Fogel, Jaroslav, 1945-
(Autor)
Médium:
Článok
Jazyk:
angličtina
ISBN:
8022717495
Pozri predplatné
Predplatné
Kliknite na „Pozri predplatné“.
Exempláre
Popis
Podobné exempláre
UNIMARC/MARC
Podobné exempláre
Concurrent systems: specification and verification of some real-time control properties
Autor: Fogel, Jaroslav, 1945-
SIMULATION ENVIRONMENT FOR REAL TIME VERIFICATION OF CONTROL ALGORITHM.
Autor: Alexík, Mikuláš, 1943-, a ďalší
Discrete Even Systems Modelling and Real-Time Control
Autor: Hrúz, Branislav
Computation model for real-time control systems development
Autor: Zmaranda, Doina, 1967-, a ďalší
Real-time Requirements of Intelligent Control
Autor: Ajtonyi, István
Predchádzajúci
Ďalší
Podobné exempláre
Concurrent systems: specification and verification of some real-time control properties
Autor: Fogel, Jaroslav, 1945-
SIMULATION ENVIRONMENT FOR REAL TIME VERIFICATION OF CONTROL ALGORITHM.
Autor: Alexík, Mikuláš, 1943-, a ďalší
Discrete Even Systems Modelling and Real-Time Control
Autor: Hrúz, Branislav
Computation model for real-time control systems development
Autor: Zmaranda, Doina, 1967-, a ďalší
Real-time Requirements of Intelligent Control
Autor: Ajtonyi, István