Formally Unifying Modeling and Design for Embedded Systems - A Personal View.

Grard Berry

Browse the full ISoLA paper archive.