Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
mery, dominique
(2)
abdelwahed, el hassan
(1)bellatreche, ladjel
(1)benslimane, djamal
(1)giannakopoulou, dimitra
(1)golfarelli, matteo
(1)jean, stéphane
(1)nakamatsu, kazumi
(1)ordonez, carlos
(1)Schlagwort
edv
(2)informatik
(2)model checking
(2)software engineering
(2)algorithms
(1)artificial intelligence
(1)artificialintelligence
(1)automata
(1)automated verification
(1)automatedverification
(1)betriebssystem (edv)
(1)communication channels (information theory)
(1)communicationchannels(informationtheory)
(1)computation by abstract devices
(1)distributed computer systems
(1)distributedcomputersystems
(1)event-b
(1)formal logic
(1)formal methods
(1)formal verifications
(1)formallogic
(1)formalmethods
(1)formalverifications
(1)it operations
(1)logics and meanings of programs
(1)management of computing and information systems
(1)mathematical logic and formal languages
(1)mathematical logic and foundations
(1)model
(1)modelchecking
(1)operating system
(1)quality of service (qos)
(1)semantics
(1)software development
(1)software engine
(1)software-entw.
(1)softwaredevelopment
(1)specifications
(1)theorie
(1)theory of computation
(1)Ergebnis: 2 Artikel
Autor: mery, dominique
