Validation of Communications
Systems with SDL: The Art of SDL
Simulation and Reachability Analysis
Laurent Doldi
ISBN: 978-0-470-85286-6
Hardcover
310 pages
April 2003 |
UML 2 Illustrated - Developing Real-Time & Communications Systems
Laurent Doldi
Oct. 2003 - 316 pages - paperback
ISBN 2-9516600-1-4 |
Systems Engineering with SDL: Developing Performance-Critical Communication Systems
Andreas Mitschele-Thiel
ISBN: 978-0-471-49875-9
Hardcover
380 pages
January 2001 |
SDL Illustrated - Visually design
executable models
Laurent Doldi
270 pages - May 2001
ISBN 2-9516600-0-6 |
Electronic Chips & Systems Design Languages
Mermet, J. (Ed.)
2001, 320 p., Hardcover
ISBN: 978-0-7923-7311-7 |
SDL : modelisation de protocoles et systemes reactifs
Zoubir Mammeri
624p. softcover, 07-2000
ISBN : 2-7462-0166-6
|
Sdl - Formal Object-Oriented Language for Communicating Systems
Par Jan. Ellsberger, Dieter. Hogrefe, Amardeo. Sarma
1997
Prentice Hall
Computers / Languages / Programming
312 pages
ISBN 0136213847
|
Engineering Real Time Systems: An Object-Oriented Methodology Using Sdl
416 pages
Prentice Hall (April 1993)
English
ISBN 0130344486
|
Systems Engineering Using Sdl-92
480 pages
Elsevier Science Pub Co
(January 1994)
English
ISBN 0444898727
|
