Analysis and Evaluation of the German Toll System Using a Holistic Executable Specification

Bernd Pfitzinger, Tommy Baumann, Thomas Jest├Ądt. Analysis and Evaluation of the German Toll System Using a Holistic Executable Specification. In 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui, HI, USA. pages 5632-5638, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.