Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16).
Fuyuki IshikawaAlexander B. RomanovskyThierry LecomtePublished in: NII Shonan Meet. Rep. (2018)
Keyphrases
- formal methods
- industrial applications
- software engineering
- cyber physical systems
- artificial intelligence
- development lifecycle
- product configuration
- model checking
- formal specification
- knowledge based systems
- software development
- physical world
- cyber security
- real time
- design process
- knowledge base
- modeling language
- information systems