Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
betriebssystem (edv)
(2)edv
(2)informatik
(2)operating system
(2)programmiersprachen
(2)software engineering
(2)software-entw.
(2)theorie
(2)automated reasoning
(1)compiler
(1)compilers and interpreters
(1)computer science logic and foun
(1)concurrency
(1)domain-specific language
(1)domain-specificlanguage
(1)embedded systems
(1)embeddedsystems
(1)fault analysis
(1)faultanalysis
(1)formal methods
(1)formal verification
(1)formalmethods
(1)formalverification
(1)hol
(1)hybrid systems
(1)hybridsystems
(1)isabelle
(1)isabelle/hol
(1)java
(1)logics and meanings of programs
(1)model checking
(1)operating systems
(1)programming languages, compilers, interpreters
(1)programming techniques
(1)real-time systems
(1)requirements analysis
(1)sat solving
(1)satsolving
(1)simulation
(1)software engineering/programming and operating systems
(1)software verification
(1)specification
(1)static analy
(1)theory of computation
(1)validation
(1)web application
(1)webapplication
(1)übersetzer (edv)
(1)Ergebnis: 2 Artikel
Autor: holzmann, gerard
