Decreasing Maintenance Costs by Introducing Formal Models and Analysis of Real-Time Systems in Industrial Settings.

Johan Andersson, Christer Norstrm, Anders Wall

Browse the full ISoLA paper archive.