C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Component-based design of cyber-physical applications with safety-critical requirements.
Alejandro Masrur
Michal Kit
Vladimír Matena
Tomás Bures
Wolfram Hardt
Published in:
Microprocess. Microsystems (2016)
Keyphrases
</>
safety critical
formal methods
cyber physical
embedded systems
regulatory requirements
real time
information systems
fault tolerant
data analysis
software engineering