Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
abstract state machines
(1)abstractstatemachines
(1)algebraic specifications
(1)algebraicspecifications
(1)automated testing
(1)automatedtesting
(1)controllability
(1)correct systems design
(1)correctness proofs
(1)correctnessproofs
(1)correctsystemsdesign
(1)edv
(1)fau
(1)fault detection
(1)finite state machines
(1)formal methods
(1)formal testing
(1)formalmethods
(1)formaltesting
(1)informatik
(1)markov decision process
(1)markovdecisionprocess
(1)model-based testing
(1)modeling
(1)scala
(1)so
(1)sof
(1)software en
(1)software-entw.
(1)softwaretesting
(1)testmethoden
(1)theorie
(1)Ergebnis: 1 Artikel
Autor: harman, mark
