Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System.
Amine HamidiSimon Collart DutilleulPhilippe BonPublished in: CRiSIS (2023)
Keyphrases
- small sized
- software components
- software reuse
- software systems
- software development
- web services
- building blocks
- development environments
- software modules
- reusable components
- software engineering
- commercial off the shelf
- purchasing behavior
- database
- transport network
- software artifacts
- software design
- machine learning