Semi-formal refinement of heterogeneous embedded systems by foreign model integration.

Seyed-Hosein Attarzadeh-Niaki, Ingo Sander

Browse the full FDL paper archive.