Ausgabe 1/2017
Inhalt (2 Artikel)
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog
Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif
RELSPEC: a framework for reliability aware design of component based embedded systems
Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti