Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
edv
(5)formal methods
(5)informatik
(5)formal specification
(4)formal verification
(4)formalmethods
(4)modelling languages
(4)program refinement
(4)programming language semantics
(4)reactive systems
(4)formal reasoning
(3)formalreasoning
(3)formalspecification
(3)formalverification
(3)history of computing
(3)modellinglanguages
(3)programminglanguagesemantics
(3)programrefinement
(3)reactivesystems
(3)real-time systems
(3)real-timesystems
(3)runtime verification
(3)safety-critical systems
(3)software engineering
(3)computer systems
(2)computersystems
(2)historyofcomputing
(2)runtimeverification
(2)safety-criticalsystems
(2)software-entw.
(2)theorie
(2)algorithmus
(1)artificial intelligence
(1)artificialintelligence
(1)computer science
(1)computerscience
(1)cyber-physical systems
(1)cyber-physicalsystems
(1)embedded software
(1)embeddedsoftware
(1)for
(1)informatik, computer
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logic
(1)logics and meanings o
(1)mathematik
(1)model checking
(1)model-driven design
(1)model-drivendesign
(1)modeling
(1)modularity
(1)netzwerk (elektronisch)
(1)program correctness
(1)programcorrectness
(1)real-time sy
(1)runtimeve
(1)security-by-refinement
(1)softwar
(1)software architectures
(1)software de
(1)software system models
(1)software validation
(1)software verification
(1)softwarearchitectures
(1)softwaredesi
(1)softwaredesign
(1)softwareengineering
(1)softwaresystemmodels
(1)softwarevalidation
(1)softwareverific
(1)trust
(1)z
(1)Ergebnis: 7 Artikel
Titel: engineering trustworthy software systems
