Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
edv
(2)informatik
(2)abstract state machines
(1)abstractstatemachines
(1)algebraic specifications
(1)algebraicspecifications
(1)automated testing
(1)automatedtesting
(1)communicating systems testing
(1)communicatingsystemsdesign
(1)computer communication networks
(1)controllability
(1)correct systems design
(1)correctness proofs
(1)correctnessproofs
(1)correctsystemsdesign
(1)design
(1)fau
(1)fault detection
(1)finite state machines
(1)formal methods
(1)formal testing
(1)formalmethods
(1)formaltesting
(1)interoperability
(1)kommunikationssys
(1)markov decision process
(1)markovdecisionprocess
(1)model-based testing
(1)modeling
(1)networking (edv)
(1)netz (edv)
(1)open source
(1)opensource
(1)scala
(1)so
(1)sof
(1)software
(1)software en
(1)software engineering
(1)software-entw.
(1)softwaretesting
(1)structured design
(1)structureddesign
(1)sytems testing
(1)sytemstelecommunications
(1)telecommunications
(1)test (technisch)
(1)test specification design
(1)testing
(1)testmethoden
(1)testspecificationdesign
(1)theorie
(1)ttcn
(1)uml
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)validation
(1)verificati
(1)verification
(1)Ergebnis: 2 Artikel
Autor: hierons, robert m.
