• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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