Login / Signup

SynchRuler: A Rule-Based Flexible Synchronization Model with Model Checking.

Ramazan Savas AygünAidong Zhang
Published in: IEEE Trans. Knowl. Data Eng. (2005)
Keyphrases
  • model checking
  • temporal logic
  • temporal properties
  • model checker
  • finite state machines
  • expert systems
  • trust model
  • finite state
  • process algebra