| |
| 2003 | ||
|---|---|---|
| 4 | EE | Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi: Automatic Formal Model Generation and Analysis of SDL. SDL Forum 2003: 285-299 |
| 2001 | ||
| 3 | EE | Leo Ojala, Nisse Husberg, Teemu Tynjälä: Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. STTT 3(4): 382-393 (2001) |
| 2000 | ||
| 2 | EE | Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi: Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. ICATPN 2000: 244-260 |
| 1999 | ||
| 1 | EE | Nisse Husberg, Tapio Manner: Emma: Developing an Industrial Reachability Analyser for SDL. World Congress on Formal Methods 1999: 642-661 |
| 1 | Annikka Aalto | [4] |
| 2 | Tapio Manner | [1] |
| 3 | Leo Ojala | [3] |
| 4 | Teemu Tynjälä | [2] [3] |
| 5 | Kimmo Varpaaniemi | [2] [4] |