Algebraic Specification of Discrete Event System Models and Their Refinements
01.01.1994
79 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 629.8 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Validation of Discrete Events Automotive Systems from their Bahaviour Specification Models
British Library Conference Proceedings | 1996
|Specification and Estimation of Discrete Choice Models
Wiley | 2011
|Engineering Index Backfile | 1927
Engineering Index Backfile | 1911
Grade crossing system refinements
Online Contents | 1996