Login / Signup

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

Jacques JulliandOlga KouchnarenkoPierre-Alain MassonGuillaume Voiron
Published in: TASE (2017)
Keyphrases
  • web services
  • expert systems
  • management system
  • computer systems
  • neural network
  • case study
  • pairwise
  • mobile robot
  • intelligent systems
  • building blocks
  • complex systems
  • retrieval systems
  • modal logic