Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
leue, stefan
(4)bosnacki, dragan
(1)dams, dennis
(1)gerth, robert
(1)merino, pedro
(1)systä, tarja j.
(1)Schlagwort
edv
(4)software engineering
(4)verification
(4)formal verification
(3)formalverification
(3)informatik
(3)theorie
(3)theory of computation
(3)formal method
(2)formalmethod
(2)java
(2)logics and meanings of programs
(2)model
(2)model checking
(2)modelchecking
(2)programmiersprachen
(2)software-entw.
(2)abstract interpretation
(1)abstractinterpretation
(1)abstraction
(1)allgemeines
(1)anwendungs-software
(1)calculus
(1)computer
(1)computer communication networks
(1)computermodellie
(1)cyclic scheduling
(1)cyclicscheduling
(1)distributed verification
(1)distributedverification
(1)echtzeit
(1)embedded systems
(1)embeddedsystems
(1)explicit model checking
(1)explicitecking
(1)formal methods
(1)formal specification
(1)formalmethods
(1)formalspecification
(1)it operations
(1)logics and m
(1)management of computing and information systems
(1)mathematical software
(1)mathematik
(1)mathematische und statistische software
(1)microcontroller
(1)model-based development
(1)model-baseddevelopment
(1)modeling
(1)mu-calculus
(1)object-oriented programming
(1)object-orientedprogramming
(1)programming
(1)programming languages, compilers, interpreters
(1)real-time
(1)real-time analysis
(1)real-timeanalysis
(1)realzeit
(1)reduction
(1)sage
(1)semantics
(1)software engineering/programming and operating systems
(1)software verifi
(1)software verification
(1)softwareengineering
(1)softwareentwicklung
(1)softwareverifi
(1)sonstiges
(1)spin
(1)spin model checking
(1)spinecking
(1)symbolic model checking
(1)symbolicmodelchecking
(1)systems verification
(1)systemsverification
(1)tools
(1)validation
(1)verific
(1)Ergebnis: 4 Artikel
Redaktion: stefan leue
