Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.

Anders Wall, Johan Andersson, Christer Norstrm

Browse the full ISoLA paper archive.