Using Domain Specific Languages to Support Verification in the Railway Domain
| Date first appeared online | |
| DOI | 10.1007/978-3-642-39611-3_26 |
| Authors | James P., Beckmann A. |
| Journal Name | Hardware and Software: Verification and Testing |
| Volume | 7857 |
| Date first appeared online | |
| DOI | 10.1007/978-3-642-39611-3_26 |
| Authors | James P., Beckmann A. |
| Journal Name | Hardware and Software: Verification and Testing |
| Volume | 7857 |