Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Schlagwort
cyber-physical systems
(1)cyber-physicalsystems
(1)edv
(1)embedded software
(1)embeddedsoftware
(1)formal methods
(1)formalmethods
(1)informatik
(1)logics and meanings o
(1)model-driven design
(1)model-drivendesign
(1)modeling
(1)modularity
(1)program correctness
(1)programcorrectness
(1)security-by-refinement
(1)software architectures
(1)software engineering
(1)software system models
(1)software validation
(1)software verification
(1)softwarearchitectures
(1)softwareengineering
(1)softwaresystemmodels
(1)softwarevalidation
(1)softwareverific
(1)trust
(1)z
(1)Ergebnis: 1 Artikel
Referenznummer: 9783319296272
