Decomposing scheme plans to manage verification complexity
| Date first appeared online | |
| DOI | |
| Authors | James P., Moller F., Nguyen H., Roggenbach M. |
| Journal Name | FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems |
| Volume |