Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
abstract interpretation
(1)abstractinterpretation
(1)abstraction
(1)anwendungs-software
(1)edv
(1)entwicklung
(1)explicit model checking
(1)explicitmodelchecking
(1)formal methods
(1)formal specification
(1)formal verification
(1)formalmethods
(1)formalspecification
(1)formalverification
(1)informatik
(1)modal verification
(1)modalverification
(1)model checking
(1)modelchecking
(1)mu calculus
(1)mucalculus
(1)p
(1)program analysis
(1)programmieren (edv)
(1)software verification
(1)software-entw.
(1)spin
(1)spin model checking
(1)spinmodelchecking
(1)structured
(1)testmethoden
(1)theorie
(1)Ergebnis: 1 Artikel
ISBN 10: 3-540-40117-2
