Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans |
scientific article |
Statements
Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (English)
0 references
26 November 2014
0 references
