No photo of Signe Geisler Pedersen
  • Richard Petersens Plads, 322, 213

    2800 Kgs. Lyngby

    Denmark

20182021
If you made any changes in Pure these will be visible here soon.

Research Output 2018 2018

  • 1 Article in proceedings
20 Downloads (Pure)

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

Geisler Pedersen, S. & Haxthausen, A. E., 2018, Formal Methods. Springer, Vol. 10951. p. 277-293

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Projects 2018 2021