Formalization of digital circuits using the B method
International conference; 8th, Computers in railways ; 2002
2002-01-01
10 pages
Also known as the 8th International conference on computer aided design, manufacture and operation in the railway and other mass transit systems
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.