SDL (Computer program language)

Validation of communications systems with SDL :the art of SDL simulation and reachability analysis / by: (書目-語言資料,印刷品)

System Analysis and Modeling: Language Profiles5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers / by: (書目-電子資源)

System Analysis and Modeling4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / by: (書目-電子資源)

SDL 2005: Model Driven12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / by: (書目-電子資源)

SDL 2003system design : 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003 : proceedings / by: (書目-電子資源)

Telecommunications and beyondthe broader applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers / by: (書目-電子資源)

SDL 2009design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings / by: (書目-電子資源)

SDL 2001meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, proceedings / by: (書目-電子資源)

System analysis and modelingabout models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (書目-電子資源)

Practical TLA+planning driven development / by: (書目-電子資源)

Software Engineering.

Computer Science, general.

SDL (Computer program language)

Electronic data processing

Logics and Meanings of Programs.

Mobile communication systems

Management of Computing and Information Systems.

Programming Techniques.

Wireless communication systems

Communications software

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Programming languages (Electronic computers)

Telecommunication

Information Systems Applications (incl.Internet)

Real-time data processing

Computer Science.

Computer Communication Networks.

Computer Systems Organization and Communication Networks.

System analysis