Login / Signup

True Concurrency Semantics: Towards a Verification of Timed Systems.

Souad GuellatiIlham KitouniRiadh MatmatDjamel-Eddine Saïdouni
Published in: Int. J. Embed. Real Time Commun. Syst. (2014)
Keyphrases
  • knowledge based systems
  • complex systems
  • asynchronous circuits
  • artificial intelligence
  • expert systems
  • management system
  • computer systems
  • formal methods
  • formal semantics