Travelled to:
1 × Austria
Collaborated with:
G.Reggio
Talks about:
graphic (1) system (1) specif (1) formal (1) notat (1) dynam (1)
Person: Mauro Larosa
DBLP: Larosa:Mauro
Contributed to:
Wrote 1 papers:
- FME-1997-ReggioL #specification
- A Graphic Notation for Formal Specifications of Dynamic Systems (GR, ML), pp. 40–61.