Enabling integrative analyses and refinement of object-oriented models with special emphasis on high-assurance embedded systems

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Campbell, Laura Anne

Date: 2004

Subjects: Embedded computer systems
Object-oriented methods (Computer science)

Program of Study: Computer Science and Engineering

Degree Level: Doctoral

Language: English

Pages: xix, 324 pages

Permalink: https://doi.org/doi:10.25335/j6sq-f938