• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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