Integrating Model-Checking with UML-based SoC Development.

Peter Green, Kinika Tasie-Amadi

Browse the full FDL paper archive.