Publications (25)
Iterative Verfeinerung und Formalisierung von Spezifikationen im Kontext des systematischen Steuerungsentwurfs. (2007)
Lohmann, S.; Dinh-Thi, L.; Tran, T.; Stursberg, O.; Engell, S.
Journal articleIterative Specification Refinement in Deriving Logic Controllers. (2007)
Lohmann, S.; Dinh-Thi, L.; Tran, T.; Stursberg, O.; Engell, S.
Journal articleIst Geist geil? Eine nicht unpolemische Hinterfragung (2007)
Bach, S.
Journal articleInvestigation of small crack behaviour under cyclic loading in a dual phase steel with an FIB tomography technique (2007)
Brückner-Foit, A.
Journal articleInvestigation of photoionization and photodissociation of an oxygen molecule by the method of coupled differential equations (2007)
Demekhin, P.; Omel'yanenko, D.; Lagutin, B.; Sukhorukov, V.; Werner, L.; Ehresmann, A.; Schartner, K.; Schmoranzer, H.
Journal articleInvestigation of N₂⁺ (C²Σ⁺u → X²Σ⁺g fluorescence excited through auger decay of the 1s ⁻¹π* resonance (2007)
Demekhin, P.; Sukhorukov, V.; Werner, L.; Ehresmann, A.; Schartner, K.; Schmoranzer, H.
Journal articleInternational Workers' Rights and Competitiveness (2007)
Scherrer, C.
Journal articleInternationalisation of Universities: World Trends and National Priorities (2007)
Teichler, U.
Journal articleInterference between resonant Raman Auger decay and direct excitation manifested in orientation and alignment of KrII 4p⁴(¹D)5p ²P3/2 ions (2007)
Schartner, K.; Schill, R.; Hasselkamp, D.; Mickat, S.; Kammer, S.; Werner, L.; Klumpp, S.; Ehresmann, A.; Schmoranzer, H.; Lagutin, B.; Sukhorukov, V.
Journal articleInteressenpolitik und Wertorientierung – Perspektiven der Gewerkschaftsarbeit (2007)
Schroeder, W.; Arlt, H.; West, K.
Journal article