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

Nisse Husberg Teemu Tynjälä Kimmo Varpaaniemi

Published in: ICATPN (2000)

Keyphrases

decision support system
decision support
high level
data sets
lightweight
formal analysis
coloured petri nets
neural network
communication protocol
file transfer
databases
genetic algorithm
management system
security analysis
communication protocols