Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
algorithms
(1)allgemeines
(1)automata
(1)computer aided verification
(1)computeraidedverification
(1)computergestützte verifikation
(1)computergestützteverifikation
(1)echtzei-systeme
(1)edv
(1)endliche systeme
(1)endlichesysteme
(1)finite-state systems
(1)finite-statesystems
(1)formale verifikationstechniken
(1)formaleverifikationstechniken
(1)hardware
(1)hardware verification
(1)hardwareverification
(1)informatik
(1)logic
(1)logics and mea
(1)modeling
(1)real-time
(1)rreal time systems
(1)rrealtimesystems
(1)system
(1)theoretische informatik
(1)theorie
(1)theory of computation
(1)Ergebnis: 1 Artikel
EAN: 9783540600459
