Travelled to:
1 × Italy
Collaborated with:
M.C.Rinard
Talks about:
framework (1) synchron (1) modular (1) system (1) formal (1) design (1)
Person: Maria-Cristina V. Marinescu
DBLP: Marinescu:Maria=Cristina_V=
Contributed to:
Wrote 1 papers:
- FME-2003-MarinescuR #composition #design #framework
- A Formal Framework for Modular Synchronous System Design (MCVM, MCR), pp. 482–502.