Benchmark problem: an air brake model for trains

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Luca Parolini, Simone Schuler and Adolfo Anta

Journal title: ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, EPiC Series in Computing

Journal number: vol. 34

Journal publisher: EasyChair

Published year: 2015

Published pages: 43-48