Volume 12, Numbers 1-2, June 2008
, Constance L. Heitmeyer
: Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems.
Volume 12, Number 3, September 2008 Embedded System Security
Volume 12, Number 4, December 2008
Gul N. Khan
, Usman Ahmed
: CAD tool for hardware software co-synthesis of heterogeneous multiple processor embedded architectures.