Login / Signup

An Approach to Formally Modeling and Verifying Distributed Real-time Embedded Software.

Liqiong ChenGuisheng FanYunxiang Liu
Published in: J. Softw. (2010)
Keyphrases
  • embedded software
  • real time
  • embedded systems
  • development projects
  • distributed systems
  • software architecture
  • sequence diagrams
  • cooperative
  • multi agent
  • early stage
  • control system
  • integrity constraints