Login / Signup

The application of interoperability requirement specification and verification to collaborative processes in industry.

Sihem MallekNicolas DaclinVincent Chapurlat
Published in: Comput. Ind. (2012)
Keyphrases
  • metadata
  • web services
  • formal verification
  • learning algorithm
  • information systems
  • knowledge base
  • case study
  • computer science
  • decision support
  • model checking
  • face verification
  • asynchronous circuits