Travelled to:
1 × Austria
Collaborated with:
L.Lavazza G.Quaroni
Talks about:
system (1) formal (1) combin (1) notat (1) model (1) time (1) real (1) uml (1)
Person: Matteo Venturelli
DBLP: Venturelli:Matteo
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2001-LavazzaQV #modelling #realtime #uml
- Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.