Formal Specification and Verification within Systems Engineering
(Draft Version; not completed)

G.Doeben-Henisch
University of Applied Sciences Frankfurt am Main (Germany)
Faculty of Computer Science and Engineering