[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

• 作者Seffrin, A.; Biedermann, A.; Huss, S.A.
• 文件大小108.13KB
• 发表时间2010
• DOI10.1049/ic.2010.0134
• 页码86-91