Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Industrialising a proof-based verification approach of computerised interlocking systems
Industrialising a proof-based verification approach of computerised interlocking systems
Industrialising a proof-based verification approach of computerised interlocking systems
Behnia, S. (Autor:in) / Mammar, A. (Autor:in) / Mota, J.-M. (Autor:in) / Breton, N. (Autor:in) / Caspi, P. (Autor:in) / Raymond, P. (Autor:in) / Allan, J.J.
11th, International conference on computer aided design, manufacture, and operation in the railway and other advanced mass transit systems; Computers in railways XI ; 2008 ; Toledo, Spain
01.01.2008
10 pages
Includes bibliographical references and index; Also known as COMPRAIL 2008
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
The newly industrialising economies of east Asia
| Online Contents | 1994
Rural Industrialising Townships and Urban Links in Eighteenth Century Yorkshire
| British Library Conference Proceedings | 1994
Computerised Irrigation Systems
| British Library Online Contents | 1994
Becoming an engineer in industrialising Great Britain circa 1760–1820
| Taylor & Francis Verlag | 2011
Computerised facilities management systems
| Emerald Group Publishing | 1986