Subhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta
A formal approach for specification-driven AMS behavioral model generation
DATE, 2009.
@inproceedings{DATE-2009-MukherjeeAPMD,
author = "Subhankar Mukherjee and Antara Ain and S. K. Panda and Rajdeep Mukhopadhyay and Pallab Dasgupta",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1512--1517",
publisher = "{IEEE}",
title = "{A formal approach for specification-driven AMS behavioral model generation}",
year = 2009,
}