• Published

  Proof support for RAISE - by a Reuse Approach Based on Institutions

  Publication: Research › Ph.d. thesis – Annual report year: 2004

• Published

  Proof Support for RAISE - by a Reuse Approach based on Institutions

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2004

• Published

  Representing RSL Specifications in Isabelle/HOL

  Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

View all »

• Aracne Editrice S.R.L.

  Local database

  Publisher

• Springer-Verlag

  Local database

  Publisher

• Technical University Braunschweig

  Local database

  Publisher

• Completed

  Proof support for raise

  Project: PhD

• Modelling Railway Interlocking Systems II

  Project