Login / Signup

Behavioral Types for Component-Based Development of Cyber-Physical Systems.

Jan Olaf BlechPeter Herrmann
Published in: SEFM Workshops (2015)
Keyphrases
  • cyber physical systems
  • component based development
  • physical world
  • cyber physical
  • information technology
  • life cycle
  • embedded systems