Original language | American English |
---|---|
Title of host publication | Proceeding of the 17th IMACS World Congress |
Subtitle of host publication | (International Association for Mathematics and Computers in Simulation) |
Place of Publication | Lille, France |
State | Published - Jul 2005 |
An application of condition-system based control synthesis techniques for a railway example
Jeffrey Ashley, Nathalie Dangoumau, Larry Holloway
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review