Login / Signup

Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract].

Ritwika GhoshSasa MisailovicSayan Mitra
Published in: ApPLIED@PODC (2018)
Keyphrases
  • extended abstract
  • formal analysis
  • cyber physical systems
  • information systems
  • cyber physical
  • case study
  • natural language
  • cloud computing
  • intrusion detection
  • embedded systems
  • formal methods