Travelled to:
1 × Canada
1 × Italy
Collaborated with:
K.Stølen F.d.Braber
Talks about:
mandatori (1) maintain (1) sequenc (1) potenti (1) general (1) diagram (1) semant (1) result (1) assess (1) secur (1)
Person: Mass Soldal Lund
DBLP: Lund:Mass_Soldal
Contributed to:
Wrote 2 papers:
- FM-2006-LundS #diagrams #semantics #sequence chart #uml
- A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice (MSL, KS), pp. 380–395.
- CSMR-2003-LundBS #assessment #maintenance #security
- Maintaining Results from Security Assessment (MSL, FdB, KS), pp. 341–350.