Sign in

Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.

Dahlia MalkhiFernando J. CorbatóE. Allen EmersonJoseph SifakisKen Thompson
Published in: ACM-TURING (2012)
Keyphrases
  • distributed systems
  • database
  • expert systems
  • industrial design
  • databases
  • real world
  • machine learning
  • e learning
  • case study
  • intelligent systems
  • computer systems
  • complex systems
  • engineering design