Login / Signup

Component-based design of cyber-physical applications with safety-critical requirements.

Alejandro MasrurMichal KitVladimír MatenaTomás BuresWolfram 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