1. Efficient verification of railway infrastructure designs against standard regulations

   • Bjørnar Luteberget
   • Christian Johansen

   OriginalPaper Open access 15 June 2017 Pages: 1 - 32

   

2. Theory and methodology of assumption/commitment based system interface specification and architectural contracts

   • Manfred Broy

   OriginalPaper 25 November 2017 Pages: 33 - 87

   

3. Tightening the contract refinements of a system architecture

   • Alessandro Cimatti
   • Ramiro Demasi
   • Stefano Tonetta

   OriginalPaper Open access 03 January 2018 Pages: 88 - 116