Transformation-Based Reactive Systems Development
Download or Read eBook Transformation-Based Reactive Systems Development PDF written by Miquel Bertran and published by Springer. This book was released on 2005-07-01 with total page 442 pages. Available in PDF, EPUB and Kindle.
| Author | : Miquel Bertran |
| Publisher | : Springer |
| Total Pages | : 442 |
| Release | : 2005-07-01 |
| ISBN-10 | : 9783540690580 |
| ISBN-13 | : 3540690581 |
| Rating | : 4/5 (80 Downloads) |
Book Synopsis Transformation-Based Reactive Systems Development by : Miquel Bertran
Book excerpt: This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997. 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.
