Linköping Studies in Science and Technology
Thesis No. 1337
Safety, Security, and Semantic
Aspects of
Equation-Based Object-Oriented
Languages and Environments
by
David Broman
Submitted to Linköping Institute of Technology at Linköping University in partial fulfilment of the requirements for the degree of Licentiate of Engineering.
Department of Computer and Information Science Linköpings universitet
SE-581 83 Linköping, Sweden Linköping 2007