Formal Specification and Refinement of a Safe Train Control Function
| Data(s) |
2004
|
|---|---|
| Identificador | |
| Idioma(s) |
中文 |
| Publicador |
Kluwer Academic Publishers Norwell, MA, USA Kluwer Academic Publishers Norwell, MA, USA |
| Fonte |
V.Winter,D.Kapur,G.Fuehrer.Formal Specification and Refinement of a Safe Train Control Function.Norwell, MA, USA:Kluwer Academic Publishers.2004 |
| Tipo |
专著章节/文集论文 |
