Travelled to:
1 × Austria
Collaborated with:
L.Lavazza M.Venturelli
Talks about:
system (1) formal (1) combin (1) notat (1) model (1) time (1) real (1) uml (1)
Person: Gabriele Quaroni
DBLP: Quaroni:Gabriele
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.