Login / Signup

Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models.

Antara AinDebjit PalPallab DasguptaSiddhartha MukhopadhyayRajdeep MukhopadhyayJohn Gough
Published in: ACM Trans. Design Autom. Electr. Syst. (2011)
Keyphrases
  • behavioral models
  • real time
  • information retrieval
  • hierarchical structures
  • hierarchical structure
  • databases
  • data mining
  • model checking
  • information exchange
  • dynamic behaviors