Login / Signup

Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification.

Pedro R. G. AntoninoMarcel Vinícius Medeiros OliveiraAugusto SampaioKlaus E. KristensenJeremy W. Bryans
Published in: NASA Formal Methods (2014)
Keyphrases
  • sensor networks
  • machine learning
  • feature selection
  • application of data mining
  • genetic algorithm
  • lower bound
  • model checking
  • key technologies
  • industrial applications
  • technology transfer