Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
el-fakih, khaled
(2)barlas, gerassimos
(1)higashino, teruo
(1)suzuki, kenji
(1)yasumoto, keiichi
(1)yevtushenko, nina
(1)Schlagwort
distributed systems
(2)distributedsystems
(2)edv
(2)informatik
(2)adaptive systems
(1)adaptivesystems
(1)authenticity
(1)bisimulation
(1)code based testing
(1)codebasedtesting
(1)compu
(1)concurrency
(1)coverage metrics
(1)coveragemetrics
(1)datenkommunikation
(1)distributed algorithm
(1)distributed computing
(1)distributed data processing
(1)distributedalgorithm
(1)distributedcomputing
(1)embedded systems
(1)embeddedsystems
(1)equivalence checking
(1)equivalencechecking
(1)erlang
(1)excepti
(1)exception handling
(1)fault models
(1)faultm
(1)formal languages
(1)formal method
(1)formal methods
(1)formal software verification
(1)formalsoftwareverification
(1)functional testing
(1)functionaltesting
(1)fuzz testing
(1)graph th
(1)informationssystem
(1)model based testing
(1)model checkin
(1)modelbasedtesting
(1)networking (edv)
(1)netz (edv)
(1)netzwerk-hardware
(1)netzwerke
(1)security
(1)software engineering
(1)software validation
(1)software-entw.
(1)softwareengineering
(1)softwarevalidation
(1)theorie
(1)verification
(1)verteiltes system
(1)verteiltes system (edv)
(1)Ergebnis: 2 Artikel
Autor: El-Fakih, Khaled
