2018

Practical TLA+ : planning driven development

Wayne, Hillel, author

[New York, NY] : Apress, [2018]

 

2005

SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings

SDL Forum (12th : 2005 : Grimstad, Norway)



 

2007

SDL 2007 : design for dependable systems : 13th International SDL Forum, Paris, France, September 18-21, 2007 : proceedings

SDL Forum (13th : 2007 : Paris, France)



 

2009

SDL 2009 : design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings

SDL Forum (14th : 2009 : Bochum, Germany)



 

2005

System analysis and modeling : 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers

SAM 2004 (2004 : Ottawa, Ont.)



 

2011

System analysis and modeling : about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers

SAM 2010 (2010 : Oslo, Norway)



 

2006

System analysis and modeling : language profiles : 5th international workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006 ; revised selected papers

SAM 2006 (2006 : Kaiserslautern, Germany)



 

2001

Systems engineering with SDL : developing performance-critical communications systems

Mitschele-Thiel, Andreas, 1959-

Chichester [England] ; New York : J. Wiley, [2001]

 

2003

Validation of communications systems with SDL : the art of SDL simulation and reachability analysis

Doldi, Laurent.

Chichester ; Hoboken, NJ : Wiley, [2003]