Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,891,864 papers from all fields of science
Search
Sign In
Create Free Account
Specification and Description Language
Known as:
Specification and Design Language
, SDL
, SDL-RT
Expand
Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Abstract state machines
C string handling
DEVS
Domain-specific language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A novel automated framework for modeling and evaluating covert channel algorithms
F. Rezaei
,
M. Hempel
,
H. Sharif
Secur. Commun. Networks
2015
Corpus ID: 206464677
In this paper, we introduce an automated framework that can model covert communication algorithms. Our proposed framework…
Expand
2013
2013
Co-simulation using specification and description language
Pau Fonseca i Casas
Online World Conference on Soft Computing in…
2013
Corpus ID: 42354783
When faced with complex problems we need powerful tools. These tools often provide answers to partial questions satisfactorily…
Expand
Review
2006
Review
2006
Le modèle à Temporalité: pour un équilibre entre adéquation et optimisation du temps dans les simulations agent
Denis Payet
,
R. Courdier
,
Tiana Ralambondrainy
,
Nicolas Sébastien
Journees Francophones sur les Systemes Multi…
2006
Corpus ID: 9578768
ABSTRACT . If in reality we can only undergo time, multi-agent simulations allow us to use it as an evolution engine on reduced…
Expand
2005
2005
An approach for end-to-end QoS and network resources management
A. Helali
,
A. Soudani
,
S. Nasri
,
T. Divoux
Comput. Stand. Interfaces
2005
Corpus ID: 26937938
2003
2003
SystemC-VHDL co-simulation and synthesis in the HW domain
M. Bombana
,
F. Bruschi
Design, Automation and Test in Europe Conference…
2003
Corpus ID: 2837097
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the…
Expand
2003
2003
Applying Mutation Analysis to SDL Specifications
G. Kovács
,
Z. Pap
,
Dung Le Viet
,
A. Wu-Hen-Chang
,
G. Csopaki
SDL Forum
2003
Corpus ID: 45888670
Mutation analysis is a fault based testing method used initially for code based software testing, and lately for specification…
Expand
1997
1997
Configuring communication protocols using SDL patterns
B. Geppert
,
R. Gotzhein
,
F. Rößler
SDL Forum
1997
Corpus ID: 45363799
1997
1997
Automating the process of test derivation from SDL specifications
G. Bochmann
,
A. Petrenko
,
O. Bellal
,
S. Maguiraga
SDL Forum
1997
Corpus ID: 12245148
1996
1996
Die ITU-T-Spezifikationssprache SDL (Specification and Description Language)
O. Georg
1996
Corpus ID: 59888673
Die abstrakt definierten Primitiveprozeduren und Protokollablaufe des vorangegangenen Kapitels uber das OSI-Modell mussen fur…
Expand
1982
1982
Mbolop Tobé (Santhiou Kohel, Sénégal). Contribution à la connaissance du mégalithisme sénégambien
A. Gallay
,
G. Pignat
,
P. Curdy
1982
Corpus ID: 193363665
Res. d'A. Cet article est le compte rendu preliminaire des fouilles entreprises en 1980-81 par la mission de l'Universite de…
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