Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
ball, thomas
(1)godefroid, patrick
(1)graf, susanne
(1)mounier, laurent
(1)rajamani, sriram k.
(1)Schlagwort
abstraction
(3)edv
(3)explicit model checking
(3)explicitmodelchecking
(3)formal methods
(3)formal specification
(3)formalmethods
(3)formalspecification
(3)informatik
(3)modal verification
(3)modalverification
(3)spin
(3)spin model checking
(3)
spinmodelchecking
(3)abstract interpretation
(2)abstractinterpretation
(2)entwicklung
(2)formal verification
(2)formalverification
(2)java
(2)mu calculus
(2)mucalculus
(2)programmieren (edv)
(2)software engineering
(2)software verification
(2)software-entw.
(2)theorie
(2)verification
(2)algorithms
(1)anwendungs-software
(1)c++ programming language
(1)c++programminglanguage
(1)eclipse
(1)model checking
(1)modelchecking
(1)modeling
(1)p
(1)program analysis
(1)qualitätssicherung, qualität
(1)s
(1)software engineering/programming and operating systems
(1)softwareverification
(1)structured
(1)structured analysis
(1)structuredanalysi
(1)testing
(1)testmethoden
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)validation
(1)Ergebnis: 3 Artikel
Schlagwort: spinmodelchecking
