-
MS
-
Professorship
-
Team
-
Employees
Dr. Falko Bause
Austria. ( abstract ) Bause, F.; Buchholz, P.; Tepper, C. The ProC/B-approach: From Informal Descriptions to Formal Models ISoLA - 1st International Symposium on Leveraging Applications of Formal Method [...] 1999, pp. 9-12. Beilner, H. ; Bause, F.; Tatlitürk, H.; van Almsick, A.; Völker, M. Zum B-Modellformalismus - Version B1 - SFB 559, Bericht-Nr. 99002, 1999. Beilner, H.; Bause, F. (Hrsg.) Angebote und Ziele [...] M.; Bause, F.; Beilner, H.; Fischer, M.; Völker, M. Beispielmodellierung von Behälterkreisläufen im B1-Paradigma --- Analyse SFB 559, Bericht-Nr. 00013, 2000. Bause, F.; Kaczmarek, M. Untersuchung der …