Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

Research output: Working paper

Filter
Seminar/workshop/course

Search results