Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
design
(2)development
(2)duration calculus
(2)durationcalculus
(2)edv
(2)formal methods
(2)formal specification
(2)formal verification
(2)formalmethods
(2)formalspecification
(2)formalverification
(2)informatik
(2)interval logic
(2)intervallogic
(2)logic
(2)logic calculi
(2)logiccalculi
(2)model checking
(2)modelchecking
(2)modeling
(2)real-time system
(2)real-time systems
(2)real-timesystem
(2)real-timesystems
(2)software engineering
(2)theory of computation
(2)verification
(2)echtzeit
(1)embedded system
(1)mikrocontroller
(1)programming
(1)real-time
(1)realzeit
(1)special purpose and app
(1)special purpose and application-based systems
(1)the
(1)theoryofcomputation
(1)Ergebnis: 2 Artikel
Autor: michael r. hansen
