Вы здесь

Главная

sdl

Связанные издания:

A General Approach for the Specification of Real-Time Systems with SDL
Applying SDL Specifications and Tools to the Verification of Procedures
Combining SDL with Synchronous Data Flow Modeling for Distributed Control Systems
Deployment of SDL Systems Using UML
SDL 2005: Model Driven: Proc./12th International SDL Forum. Grimstad, Norway, June 2005
SDL 2009: Design for Motes and Mobiles: Proc./14th International SDL Forum, Bochum, Germany, September 2009
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems
System Analysis and Modeling: Revised Selected Papers/4th International SDL and MSC Workshop, SAM 2004. Ottawa, Canada, June 2004
Timed Extensions for SDL
Towards the Harmonization of UML and SDL
Using UML for Implementation Design of SDL Systems
Verification of Quantitative Temporal Properties of SDL Specifications
Verifying Large SDL-Specifications Using Model Checking
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL
Моделирование и верификация распределенных систем, представленных на языке SDL
Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL
Моделирование спецификаций языка SDL с помо ью раскрашенных сетей Петри
Применение языка DYNAMIC-REAL для анализа и верификации распределенных систем. специфицированных на языке SDL
Разработка и реализация транслятора с языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция SDL-спецификаций в раскрашенныые сети Петри
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Трансляция языка выполнимых спецификаций распределенных систем SDL в язык выполнимых спецификаций REAL
Язык Dynamic-REAL и его применение для верификации SDL-спецификаций распределенных систем