Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
grumberg, orna
(1)pasareanu, corina s.
(1)peled, doron a.
(1)salaün, gwen
(1)schätz, bernhard
(1)valmari, antti
(1)veith, helmut
(1)wooldridge, michael
(1)Schlagwort
distributed model checking
(5)edv
(5)informatik
(5)software engineering
(5)software-entw.
(5)theorie
(5)abstraction
(4)programmiersprachen
(4)compiler
(3)explicit model checking
(3)übersetzer (edv)
(3)abstract interpretation
(2)concurrency
(2)distributedmodelchecking
(2)formal methods
(2)formal verification
(2)informatik, computer
(2)mathematik
(2)abstractinterpretation
(1)ai logics
(1)algorithm
(1)algorithms
(1)allgemeines
(1)anwendu
(1)anwendungs-software
(1)artificial intelligence
(1)automata
(1)automata theory
(1)automatic testing
(1)automatictesting
(1)betriebssystem (edv)
(1)bisimulation
(1)bug finding
(1)bugfinding
(1)calculi
(1)completeness
(1)computer
(1)concurrency verification
(1)concurrencyverification
(1)datenverarbeitung
(1)directed model checking
(1)distribu
(1)distributed algorithms
(1)distributed processes
(1)distributed systems
(1)distributedalgorithms
(1)distributedprocesses
(1)dynamic analysis
(1)entwicklung
(1)equivalence checking
(1)erfüllbarkeitsproblem der aussagenlogik
(1)european conference on artificial intelligence
(1)expertensystem
(1)explicitmodelchecking
(1)formal
(1)formal property verification
(1)formal specification
(1)formalmethods
(1)formalpropertyverification
(1)formalspecification
(1)formalverific
(1)heuristic search
(1)intelligence
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logic
(1)logic model checking
(1)logics and meanings of programs
(1)logik
(1)mathematical log
(1)mathematical logic and formal languages
(1)modal logics
(1)modal verification
(1)model checking
(1)model-based development
(1)operating system
(1)pc-hardware
(1)programmieren (edv)
(1)programming
(1)programming langu
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)qualitätssicherung
(1)qualitätssicherung, qualität
(1)roboter - robotik - industrieroboter
(1)sicherung
(1)software engineering/programming
(1)special purpose and application-based systems
(1)spin
(1)spin model checking
(1)structured analysis
(1)testing
(1)theory of computation
(1)time constraint
(1)verificati
(1)verificatio
(1)verification
(1)wissensbasiertes system
(1)Ergebnis: 5 Artikel
Schlagwort: distributed model checking
