Login / Signup
Zone-based formal specification and timing analysis of real-time self-adaptive systems.
Matteo Camilli
Angelo Gargantini
Patrizia Scandurra
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
software engineering
formal specification
formal methods
real time
specification languages
process algebra
database
distributed systems
model checking
high level
information technology
control system
specification language
data abstraction
object oriented design