Inproceedings,

Multi-formalism modelling and model transformation for the design of reactive systems.

, , and .
SCSC, page 505-512. Simulation Councils, Inc., (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews