TCS / Research / Publications / Model-Based Analysis of an Arc Protection and an Emergency Cooling System
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Model-Based Analysis of an Arc Protection and an Emergency Cooling System

Reference:

Janne Valkonen, Ville Pettersson, Kim Björkman, Jan-Erik Holmberg, Matti Koskimies, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of an arc protection and an emergency cooling system. VTT Working Papers 93, VTT Technical Research Centre of Finland, Espoo, 2008.

Suggested BibTeX entry:

@techreport{Valkonen-W93,
    address = {Espoo},
    author = {Janne Valkonen and Ville Pettersson and Kim Bj{\"o}rkman and Jan-Erik Holmberg and Matti Koskimies and Keijo Heljanko and Ilkka Niemel{\"a}},
    institution = {VTT Technical Research Centre of Finland},
    number = {93},
    title = {Model-Based Analysis of an Arc Protection and an Emergency Cooling System},
    type = {VTT Working Papers},
    year = {2008},
}

See www.vtt.fi ...

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.