Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings > Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings |
Tom Maibaum
Springer Berlin Heidelberg
Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
Authors

G. Reggio; E. Astesiano; C. Choppy; H. Hussmann

ARI Id

1664273373606_1017695

Access

Not Available Free

Pages

127-146

DOI

10.1007/3-540-46428-X_10

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-46428-X_10

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings