A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
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. (author) / Mammar, A. (author) / Mota, J.-M. (author) / Breton, N. (author) / Caspi, P. (author) / Raymond, P. (author) / 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
2008-01-01
10 pages
Includes bibliographical references and index; Also known as COMPRAIL 2008
Conference paper
English
© 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