Nisse Husberg

Publication Activity (10 Years)

Years Active: 1974-2003
Publications (10 Years): 0

Publications

Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
Automatic Formal Model Generation and Analysis of SDL. SDL Forum (2003)
Leo Ojala, Nisse Husberg, Teemu Tynjälä
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. ICATPN (2000)
Nisse Husberg, Tapio Manner
Emma: Developing an Industrial Reachability Analyser for SDL. World Congress on Formal Methods (1999)
Nisse Husberg
Verifying SDL programs using Petri nets. SMC (1998)
Nisse Husberg, Jouko J. Seppänen
ANALITIK: principal features of the language and its implementation. SIGSAM Bull. 8 (3) (1974)