Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation.

Andrey Berlizev, Nicolas Guelfi

Browse the full ICSE paper archive.