Stepwise Development and Model Checking of a Distributed Interlocking System - Using RAISE.

Signe Geisler, Anne E. Haxthausen

Browse the full FM paper archive.