Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
salaün, gwen
(5)giannakopoulou, dimitra
(1)mazzara, manuel
(1)ober, iulian
(1)pasareanu, corina s.
(1)schätz, bernhard
(1)ölveczky, peter csaba
(1)Verlag / Hersteller
springer berlin heidelberg
(2)springer international publishing
(3)Schlagwort
edv
(5)informatik
(5)embedded systems
(3)embeddedsystems
(3)model checking
(3)modelchecking
(3)artificial intelligence
(2)artificialintelligence
(2)formal methods
(2)formalmethods
(2)graph theory
(2)graphtheory
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)programming languages
(2)programming languages, compilers, interpreters
(2)programming techniques
(2)programminglanguages
(2)semantics
(2)software engineering
(2)softwarearchitecture
(2)theory of computation
(2)adaptive systems
(1)automata learning
(1)automated static analysis
(1)automatedstaticanalysis
(1)browser security
(1)browsersecurity
(1)compiler
(1)component-based systems
(1)component-basedsystems
(1)computer operating systems
(1)computeroperatingsystems
(1)concurrency
(1)conjunction
(1)cyber physical systems (cpss)
(1)cyberphysicalsystems(cpss)
(1)data security
(1)datasecurity
(1)distributed model checking
(1)dynamic analysis
(1)dynamicanalysis
(1)expertensystem
(1)formal logic
(1)formal verifications
(1)formallogic
(1)formalverifications
(1)human-computer interaction (hci)
(1)human-computerinteraction(hci)
(1)informatik, computer
(1)it operations
(1)logik
(1)management of computing and information systems
(1)mathematical log
(1)mathematical logic and foundations
(1)mathematik
(1)microservices
(1)model driven development
(1)model transformation
(1)model-based development
(1)model-driven engineering
(1)model-drivenengineering
(1)modeldrivendevelopment
(1)modeltransformation
(1)modular specifications
(1)modularspecifications
(1)multi-agent systems
(1)multi-agentsystems
(1)object orientation
(1)objectorientation
(1)ontologies
(1)ontology
(1)problem solving
(1)problemsolving
(1)program correctness
(1)programcorrectness
(1)programmiersprachen
(1)real-time systems
(1)real-timesystems
(1)requirements engineering
(1)requirementsengineering
(1)robotics
(1)robots
(1)sof
(1)softw
(1)software architect
(1)software architecture
(1)software e
(1)software engineer
(1)software-entw.
(1)softwareengineering
(1)softwaretestinganddebugging
(1)special purpose and application-based systems
(1)theorie
(1)time constraint
(1)verification
(1)wissensbasiertes system
(1)übersetzer (edv)
(1)Ergebnis: 5 Artikel
Redaktion: gwen salaün
