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

A Formal Framework for Conformance Testing of Distributed Real-Time Systems.

Moez Krichen
Published in: OPODIS (2010)
Keyphrases
  • real time systems
  • distributed systems
  • cooperative
  • mission critical
  • timing constraints
  • real time
  • multi agent
  • scheduling problem
  • test cases
  • architectural model