Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Salim Ismail Al-Akhras"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 122, Iss Proc. SCSS 2012, Pp 23-37 (2013)
In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do n
Externí odkaz:
https://doaj.org/article/46a589bb67384635b3888a027f01d9fb
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 122, Iss Proc. SCSS 2012, Pp 23-37 (2013)
In top-down multi-level design methodologies, design descriptions at higher levels of abstraction are incrementally refined to the final realizations. Simulation based techniques have traditionally been used to verify that such model refinements do n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59ef81467a31a3dde911cdf3793ce3f0
https://doaj.org/article/46a589bb67384635b3888a027f01d9fb
https://doaj.org/article/46a589bb67384635b3888a027f01d9fb