Travelled to:
1 × Poland
Collaborated with:
V.D.Bianco L.Lavazza G.Occorso
Talks about:
base (2) softwar (1) toward (1) specif (1) formal (1) compon (1) time (1) real (1) uml (1)
Person: Marco Mauri
DBLP: Mauri:Marco
Contributed to:
Wrote 1 papers:
- FASE-2003-BiancoLMO #component #realtime #specification #towards #uml
- Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.