Modular Hierarchies of Models for Embedded Systems.

Manfred Broy

Browse the full MEMOCODE paper archive.