Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21. 2007, advanced lectures /
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Woodcock, Jim, Liu, Zhiming, George, Chris W. |
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2007.
|
Series: | Lecture Notes in Computer Science,
4710 |
Subjects: | |
Online Access: | Click here to view the full text content |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Domain-specific languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings /
Published: (2009) -
Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
by: Grumberg, Orna
Published: (2007) -
Advanced lectures on software engineering LASER summer school 2007/2008 /
Published: (2010) -
Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
by: Halbwachs, Nicolas
Published: (2005) -
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /
Published: (2007)