Zugehörige Institution(en) am KIT | Institut für Technische Physik (ITEP) |
Publikationstyp | Vortrag |
Publikationsjahr | 2014 |
Sprache | Englisch |
Identifikator | KITopen-ID: 230096397 |
HGF-Programm | 31.30.02 (POF II, LK 01) ITER-Brennstoffkreislauf- Vakuum-Techn. |
Erscheinungsvermerk | Workshop on Formal and Informal Methods for Correctness and Performance (FIMCP 2014), Guayaquil, EC, June 6, 2014 |