TY  - GEN
AU  - Gajski, Daniel D.
TI  - Specification and design of embedded systems
SN  - 9788131716120
U1  - 004.21 
PY  - 2007///
CY  - Noida
PB  - Pearson
N1  - 1.Introduction
2. Models and architectures 
3. Specification language 
4. A specification example
ER  -