Model-Based Analysis of a Stepwise Shutdown Logic (2009)

AUTHORS:

Björkmann Kim , Frits Juho , Valkonen Janne , Heljanko Keijo , Niemelä Ilkka

  • INSTITUTION:
  • VTT Technical Research Centre of Finland

URL:
http://www.vtt.fi/inf/pdf/workingpapers/2009/W115.pdf