Login / Signup
Formal modelling and verification of GALS systems using GRL and CADP.
Fatma Jebali
Frédéric Lang
Radu Mateescu
Published in:
Formal Aspects Comput. (2016)
Keyphrases
</>
formal methods
management system
distributed systems
building blocks
complex systems
formal analysis
real time
information systems
expert systems
retrieval systems
dynamic aspects
automated verification