A formal approach for specification-driven AMS behavioral model generation.

Subhankar Mukherjee, Antara Ain, Subrat Kumar Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta

Browse the full DATE paper archive.