![[IET 2010 Forum on Specification & Design Languages (FDL 2010) - Southampton, UK (14-16 Sept. 2010)] 2010 Forum on Specification & Design Languages (FDL 2010) - Tiny-: a novel formal method for specification. Analysis, and verification of dynamic partial reconfiguration processes]()
[IET 2010 Forum on Specification & Design Languages (FDL 2010) - Southampton, UK (14-16 Sept. 2010)] 2010 Forum on Specification & Design Languages (FDL 2010) - Tiny-: a novel formal method for specification. Analysis, and verification of dynamic partial reconfiguration processesSeffrin, A.; Biedermann, A.; Huss, S.A. · 2010