Login / Signup

Formal modelling and verification of GALS systems using GRL and CADP.

Fatma JebaliFrédéric LangRadu 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