A hardware/software codesign framework for developing complex embedded systems using formal model refinement.

Nikolaos S. Voros, Colin F. Snook, Stefan Hallerstede, Thierry Lecomte

Browse the full FDL paper archive.