Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,166,821 papers from all fields of science
Search
Sign In
Create Free Account
TNSDL
TNSDL stands for TeleNokia Specification and Description Language. TNSDL is based on the ITU-T SDL-88 language. It is used exclusively at Nokia…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
14 relations
Actor model
Application server
Compiler
Concurrent computing
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
1999
1999
Emma: Developing an Industrial Reachability Analyser for SDL
N. Husberg
,
Tapio Manner
World Congress on Formal Methods
1999
Corpus ID: 6085638
Testing products is very expensive in the telecommunication business and remaining errors can also be very diffcult to correct in…
Expand
1998
1998
On the Stubborn Set Method in Reduced State Space Generation
Kimmo Varpaaniemi
1998
Corpus ID: 116200350
Reachability analysis is a powerful formal method for analysis of concurrent and distributed nite state systems. It suuers from…
Expand
1996
1996
SDL Modelling with High Level Petri Nets
N. Husberg
1996
Corpus ID: 59774502
SDL (the Speciication and Description Language standardized by ITU) is modelled using High Level Petri nets. The aim is to…
Expand
1996
1996
Emma: A Tool For Analysis of SDL Programs
N. Husberg
,
Markus Malmqvist
,
Tero Jyrinki
1996
Corpus ID: 14365718
An analyzer for industrial use, Emma, has been developed for TNSDL (TeleNokia SDL), a software development tool for the DX 200…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE