Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Autor:
Mohamed Abdel Maksoud
Disponibilitate:
În depozitul extern
Expediem în 9-15 zile
274.52
lei
Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety...
