Model-driven development and analysis of high assurance systems

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Konrad, Sascha J.

Date Published: 2006

Subjects: Embedded computer systems
Object-oriented methods (Computer science)
System analysis
System design
UML (Computer science)

Program of Study: Computer Science

Degree Level: Doctoral

Language: English

Pages: xv, 425 pages

Permalink: https://doi.org/doi:10.25335/k818-fy12

Full text