Login / Signup

Design and verification of nuclear waste handling system.

Shashank UradeAmar NathRajdeep Niyogi
Published in: ICACCI (2017)
Keyphrases
  • case study
  • design process
  • optimal design
  • real time
  • data mining
  • information systems
  • image processing
  • multiscale
  • control system
  • model checking
  • software architecture
  • design decisions
  • verification method