Nisse Husberg

According to our database, Nisse Husberg authored at least 6 papers between 1974 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Automatic Formal Model Generation and Analysis of SDL.

Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi

Proceedings of the SDL 2003: System Design, 2003

2001

Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods.

Leo Ojala, Nisse Husberg, Teemu Tynjälä

Int. J. Softw. Tools Technol. Transf., 2001

2000

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.

Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Emma: Developing an Industrial Reachability Analyser for SDL.

Nisse Husberg, Tapio Manner

Proceedings of the FM'99 - Formal Methods, 1999

1998

Verifying SDL programs using Petri nets.

Nisse Husberg

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1974

ANALITIK: principal features of the language and its implementation.

Nisse Husberg, Jouko J. Seppänen

SIGSAM Bull., 1974