Travelled to:1 × France
Collaborated with:S.Mukherjee A.Ain R.Mukhopadhyay P.Dasgupta
Talks about:behavior (1) approach (1) generat (1) specif (1) formal (1) driven (1) model (1)
Person: S. K. Panda
DBLP: Panda:S=_K=
Contributed to:
2009Wrote 1 papers:
- DATE-2009-MukherjeeAPMD #approach #behaviour #formal method #generative
- A formal approach for specification-driven AMS behavioral model generation (SM, AA, SKP, RM, PD), pp. 1512–1517.