Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hierons, robert m.
(2)bowen, jonathan p.
(1)bravetti, mario
(1)groz, roland
(1)harman, mark
(1)hierons, robert
(1)merayo, mercedes g.
(1)Schlagwort
edv
(3)informatik
(3)computer communication networks
(2)software engineering
(2)verification
(2)abstract state machines
(1)abstractstatemachines
(1)algebraic specifications
(1)algebraicspecifications
(1)automated testing
(1)automatedtesting
(1)communicating systems testing
(1)communicatingsystemsdesign
(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)logics and meanings of programs
(1)markov decision process
(1)markovdecisionprocess
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)model-based testing
(1)model-checking
(1)modeling
(1)networking (edv)
(1)netz (edv)
(1)ontology
(1)open source
(1)opensource
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)requirements engineering
(1)requirementsengineering
(1)scala
(1)so
(1)sof
(1)software
(1)software en
(1)software-entw.
(1)softwaretesting
(1)structured design
(1)structureddesign
(1)sytems testing
(1)sytemstelecommunications
(1)telecommunications
(1)temporal logic
(1)temporallogic
(1)test (technisch)
(1)test specification design
(1)testing
(1)testmethoden
(1)testspecificationdesign
(1)theorie
(1)theory of computation
(1)ttcn
(1)uml
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)validation
(1)verificati
(1)Ergebnis: 3 Artikel
Redaktion: robert m. hierons
