Publication | Closed Access

Refinement and verification in component-based model-driven design

Architectural DesignEngineeringAutomated ReasoningComponent-based Software EngineeringComponent-based Model-driven DesignDesignVerificationFormal MethodsSystems EngineeringSocial SciencesModel AbstractionComputer-aided DesignFormal VerificationSoftware DesignComponent System