SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27вЂ"29, 2001 Proceedings /

SDL 2001: Meeting UML 10th International SDL Forum Copenhagen, Denmark, June 27вЂ"29, 2001 Proceedings /

Bibliographic Details
Main Author:	Reed, Rick
Other Authors:	Reed, Jeanne
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Communication Networks Computer Science Logic design Software engineering Telecommunication Communications Engineering, Networks Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Special Purpose and Application-Based Systems
Online Access:	http://dx.doi.org/10.1007/3-540-48213-X Перейти в каталог НБ ТГУ

Similar Items

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
by: Bernardo, Marco
Published: (2007)

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
by: Bernardo, Marco
Published: (2005)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
by: Bernardo, Marco
Published: (2006)

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22вЂ"25, 2007 Proceedings /
by: Namjoshi, Kedar S.
Published: (2007)

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
by: Bernardo, Marco
Published: (2008)

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings /
Published: (2013)

Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
by: Graf, Susanne
Published: (2006)

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
by: Peled, Doron A.
Published: (2005)

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Advanced Network Programming - Principles and Techniques Network Application Programming with Java /
by: Ciubotaru, Bogdan, et al.
Published: (2013)

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
Published: (2015)

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
by: Prinz, Andreas
Published: (2005)

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings /
Published: (2013)

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
Published: (2014)

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Published: (2013)

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
by: Gaudin, Emmanuel
Published: (2007)

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
by: Gotzhein, Reinhard
Published: (2006)

Formal Modeling and Analysis of Timed Systems (vol. # 4202) 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
by: Asarin, Eugene
Published: (2006)

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
by: Maragria, Tiziana
Published: (2006)

Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings /
by: Raskin, Jean-François
Published: (2007)

Formal Methods Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification
by: Brim, Lubos
Published: (2007)

Formal Modeling and Analysis of Timed Systems (vol. # 3829) Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by: Pettersson, Paul
Published: (2005)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
by: Leue, Stefan
Published: (2008)

Reliable Software Technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings /
Published: (2013)

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Published: (2014)

Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
Published: (2015)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
Published: (2015)

Principles of Distributed Systems (vol. # 4305) 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings
by: Shvartsman, Alexander A.
Published: (2006)

Principles of Distributed Systems 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings /
by: Tovar, Eduardo
Published: (2007)

Principles of Distributed Systems (vol. # 3544) 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
by: Higashino, Teruo
Published: (2005)

Principles of Distributed Systems (vol. # 3974) 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Paper
by: Anderson, James H.
Published: (2006)

Reliable Software Technologies вЂ" Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /
by: Kordon, Fabrice
Published: (2008)

SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
Published: (2015)

Reliable Software Technologies - Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
Published: (2014)

Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings /
Published: (2013)

Information Processing and Security Systems
by: Saeed, Khalid
Published: (2005)

Automotive Software- Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
by: Broy, Manfred
Published: (2006)

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers /
by: Hutchison, David
Published: (2008)

Reliable Software Technology - Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
by: Vardanega, Tullio
Published: (2005)

Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings
by: Pinho, Luís Miguel
Published: (2006)