Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 10-21, 2007, Advanced Lectures
| Other author | George,Chris Volume Editor |
| Other author | Liu,Zhiming Volume Editor |
| Other author | Woodcock,Jim Volume Editor |
| Format | Electronic |
| Publication Info | Guildford : Springer London, Limited |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Summary | Annotation This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540749646 |
| ISBN | 3540749640 (E-Book) Active Record |
| Standard identifier# | 9783540749646 |
| Stock number | 00325391 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |