Login / Signup

Validation and verification of shipyard logistics simulation system and its use case identification.

Yong-Kuk JeongHui-Qiang ShenSeungHoon NamYoungmin KimJong-Gye ShinPhillippe LeeJae-Ho ChoiJong Hun Woo
Published in: WSC (2017)
Keyphrases
  • person identification
  • model checking
  • virtual reality
  • real time
  • genetic algorithm
  • concurrent systems
  • databases
  • formal methods
  • requirements elicitation