Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1231)
Included in the following conference series:
Conference proceedings info: ARTS 1997.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (28 papers)
Keywords
About this book
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
Bibliographic Information
Book Title: Transformation-Based Reactive Systems Development
Book Subtitle: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Editors: Miquel Bertran, Teodor Rus
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-63010-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-63010-4Published: 07 May 1997
eBook ISBN: 978-3-540-69058-0Published: 01 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 429
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Programming Techniques, Software Engineering, Computer Communication Networks, Special Purpose and Application-Based Systems