Login / Signup

Multi-Resource Modeling of Real-Time Software Based on Resource Timed Process Algebra.

Yi ZhuZhiqiu HuangGuangquan ZhangHang ZhouFangxiong Xiao
Published in: Int. J. Softw. Eng. Knowl. Eng. (2016)
Keyphrases
  • real time
  • modeling language
  • formal specification
  • natural language
  • general purpose
  • resource management
  • formal methods
  • process algebra