Login / Signup
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Zeynab Sabahi-Kaviani
Ramtin Khosravi
Peter Csaba Ölveczky
Ehsan Khamespanah
Marjan Sirjani
Published in:
Sci. Comput. Program. (2015)
Keyphrases
</>
formal semantics
real time
domain knowledge
operational semantics
logical language
high level
theorem prover