Interface Control and Software Engineering: A formal approach

Title

Interface Control and Software Engineering: A formal approach

Author

Brink, K.

Contributor

van Katwijk, J. (promotor)

Faculty

Electrical Engineering, Mathematics and Computer Science

Date

1997-06-24

Subject

software development
real-time software
control engineering
formal specification

To reference this document use:

http://resolver.tudelft.nl/uuid:761221b9-670b-4e04-866a-bc1c74b774e8

Publisher

Delft University Press

ISBN

90-407-1456-8

Part of collection

Institutional Repository

Document type

doctoral thesis

Rights

(c) 1997 K. Brink