Amast Series In Computing: Theories And Experiences For Real-time System Development (PDF)
(Sprache: Englisch)
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra...
Leider schon ausverkauft
eBook
249.99 €
124 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Amast Series In Computing: Theories And Experiences For Real-time System Development (PDF)“
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text.Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of ârealâ real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.
Bibliographische Angaben
- Autoren: Charles Rattray , Teodor Rus
- 1995, 444 Seiten, Englisch
- Verlag: World Scientific Publishing Company
- ISBN-10: 9812831584
- ISBN-13: 9789812831583
- Erscheinungsdatum: 14.02.1995
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 177 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Amast Series In Computing: Theories And Experiences For Real-time System Development"
0 Gebrauchte Artikel zu „Amast Series In Computing: Theories And Experiences For Real-time System Development“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Amast Series In Computing: Theories And Experiences For Real-time System Development".
Kommentar verfassen