@inproceedings{43928650f3c311db821c000ea68e967b,
title = "Model-Based Design and Verification of Embedded Software",
author = "Angelov, {Christo K.} and Nicolae Marian and Krzysztof Sierszecki and Jinpeng Ma",
year = "2004",
language = "English",
volume = "Bd.1",
pages = "109--114",
booktitle = "Proc. of the 5th European Workshop on Research and Education in Mechatronics REM 2004",
note = "The 5th European Workshop on Research and Education in Mechatronics REM 2004 ; Conference date: 24-08-2010",
}