Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
ilya wagner
(2)valeria bertacco
(2)barbosa, luis soares
(1)khurshid, sarfaz
(1)lumpe, markus
(1)maldonado, josé carlos
(1)petrenko, alexandre
(1)sen, koushik
(1)simao, adenilso
(1)Schlagwort
run-time verification
(5)edv
(3)informatik
(3)software engineering
(3)circuits and systems
(2)compiler
(2)computer hardware
(2)computer-aided engineering (cad, cae) and design
(2)electronic circuits and systems
(2)elektronik
(2)elektrotechnik
(2)error avoidance
(2)hardware patching
(2)informatik, computer
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)mathematik
(2)modern processor
(2)multi-core processors
(2)nachrichtentechnik
(2)post-silicon
(2)processors cores
(2)programmiersprachen
(2)programming languages, compilers, interpreters
(2)programming techniques
(2)run-timeverification
(2)schaltkreise und komponenten (bauteile)
(2)software-entw.
(2)technik
(2)theorie
(2)übersetzer (edv)
(2)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)application specific testing
(1)aspect-oriented modeling
(1)automatic testing
(1)betriebssystem (edv)
(1)business information systems
(1)cad-cam
(1)circuits
(1)co
(1)computer communication networks
(1)computers
(1)concurrent object-oriented programming
(1)concurrentobject-orientedprogramming
(1)constraint automata ^
(1)control systems
(1)electronics
(1)embedded systems
(1)erroravoidance
(1)general
(1)graph transformation
(1)hardware
(1)hardware transactional memory
(1)hardwarepatching
(1)hardwaretransactionalmemory
(1)logik
(1)mathematical logic and foundations
(1)model checking
(1)model-based testing
(1)modernprocessor
(1)multi-coreprocessors
(1)netzwerk (elektronisch)
(1)object orientation
(1)operating system
(1)optimization
(1)personal computers
(1)process algebra
(1)processorscores
(1)progra
(1)requirements engineering
(1)simulation
(1)software engineering/programming and operating systems
(1)software verification
(1)technology & engineering
(1)technology & industrial arts
(1)testing
(1)theory of comp
(1)theory of computation
(1)uml
(1)visualization
(1)wir
(1)Ergebnis: 5 Artikel
Schlagwort: run-time verification
