Name: generating code from abstract vhdl models - basics, semantics, algorithms
SKU: 3487648
Price: 996.00 ZAR
Availability: InStock
Author: mohamed abdel maksoud
ISBN: 9783639024685

Select your country

Americas

Europe

Rest of the world

portada generating code from abstract vhdl models - basics, semantics, algorithms

generating code from abstract vhdl models - basics, semantics, algorithms

Type

Physical Book

Publisher

vdm verlag dr. muller aktiengesells

Author

mohamed abdel maksoud

Pages

108

ISBN

3639024680

ISBN13

9783639024685

Synopsis "generating code from abstract vhdl models - basics, semantics, algorithms"

static methods are very successful in deriving crucial properties (e.g.timing behaviour) of safety critical systems. some information in the analysed program are not available either because they cannot be determined statically or because they were in ...