11 search results - page 1 / 3 » sdl 2001 |
SDL
2001
13 years 5 months ago
2001
SDL
2001
13 years 5 months ago
2001
SDL
2001
13 years 5 months ago
2001
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...
SDL
2001
13 years 5 months ago
2001
Abstract. We present a graphical MSC-based representation of the language DiCons, which is a formal language for the description of Internet applications.
SDL
2001
13 years 5 months ago
2001
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...