Integrating formal verification into the model-based development of adaptive embedded systems

  • Presentations referencing similar topics