A new approach to specification and design of a railway-interlocking : the "route" approach : an exercise in top-down design with stepwise refinement / Lieuwe Zigterman
Proefschrift Delft
| rdfs:label | "A new approach to specification and design of a railway-interlocking : the "route" approach : an exercise in top-down design with stepwise refinement / Lieuwe Zigterman" |
| schema:name | "A new approach to specification and design of a railway-interlocking : the "route" approach : an exercise in top-down design with stepwise refinement" |
| schema:author | Zigterman, Lieuwe (1952-) |
| schema:description | "Proefschrift Delft" |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1984" |
| schema:about | Software |
| Delft | |
| spoorwegen | |
| Railroads | |
| Security devices | |
|
schema:in |
"en" |
|
schema:number |
295 |
| schema:publication |
<https:/ |