Login / Signup

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-KavianiRamtin KhosraviPeter Csaba ÖlveczkyEhsan KhamespanahMarjan Sirjani
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • formal semantics
  • real time
  • domain knowledge
  • operational semantics
  • logical language
  • high level
  • theorem prover