Login / Signup

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.

Ananda BasuBorzoo BonakdarpourMarius BozgaJoseph Sifakis
Published in: DISC (2009)
Keyphrases
  • distributed systems
  • cooperative
  • distributed environment
  • data sets
  • information systems
  • website
  • multi agent
  • data driven
  • model checking
  • fault tolerant
  • incremental learning
  • colored petri nets