There is an increasing trend towards model-based development (MBD) of safety-critical systems. In an MBD approach, various development activities such as simulation, testing, code generation, and verification are based on a single formal model of the system.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.