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

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