Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
alpuente, maría
(1)berdine, josh
(1)cofer, darren
(1)cook, byron
(1)fantechi, alessandro
(1)giacobazzi, roberto
(1)joubert, christophe
(1)leue, stefan
(1)mastroeni, isabella
(1)merino, pedro
(1)Schlagwort
distributed verification
(4)
distributedverification
(4)edv
(4)informatik
(4)formal specification
(3)formalspecification
(3)software engineering
(3)automation
(2)avionics
(2)case study
(2)casestudy
(2)compositional modeling
(2)compositionalmodeling
(2)constraints
(2)echtzeit
(2)formal verification
(2)formalverification
(2)java
(2)logics and meanings of programs
(2)real-time
(2)realzeit
(2)theory of computation
(2)verification
(2)artificial intelligence
(1)automata
(1)boolean solving
(1)booleansolving
(1)calculus
(1)coloured petri nets
(1)colouredpetrinets
(1)computation by abstract devices
(1)computer
(1)computer communication networks
(1)computerprogrammierung und softwareentwicklung
(1)concurrency
(1)cyclic scheduling
(1)cyclicscheduling
(1)datenkommunikation
(1)demand-driven evaluation
(1)demand-drivenevaluation
(1)embedded systems
(1)embeddedsystems
(1)flight control
(1)flightcontrol
(1)formal method
(1)formal methods
(1)formalmethod
(1)formalmethods
(1)functional specification checking
(1)functionalspecificationchecking
(1)linux
(1)logics and m
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)methode (allgemein)
(1)microcontroller
(1)model-based development
(1)model-baseddevelopment
(1)modeling
(1)netzwerke
(1)parameterized synthesis
(1)parameterizedsynthesis
(1)program analysis
(1)programanalysis
(1)programming languages, compilers, interpreters
(1)real-time analysis
(1)real-timeanalysis
(1)s
(1)simulation
(1)software enginee
(1)software engineering/programming and operating systems
(1)software verifi
(1)software-entw.
(1)softwareverifi
(1)testing
(1)theorie
(1)Ergebnis: 4 Artikel
Schlagwort: distributedverification
