Sciweavers

Share
11 search results - page 1 / 3
» sdl 2001
Sort
View
SDL
2001
101views Hardware» more  SDL 2001»
10 years 4 months ago
Graphical Test Specification - The Graphical Format of TTCN-3
Paul Baker, Ekkart Rudolph, Ina Schieferdecker
SDL
2001
125views Hardware» more  SDL 2001»
10 years 4 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
SDL
2001
94views Hardware» more  SDL 2001»
10 years 4 months ago
An MSC Based Representation of DiCons
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw
SDL
2001
110views Hardware» more  SDL 2001»
10 years 4 months ago
Timed Extensions for SDL
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
books