Theories And Experiences For Real-time System Development

Autor: C. Rattray, Teodor Rus

Limbă:

Legare: Copertă tare

Editura: World Scientific Publishing Co Pte Ltd

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

917.38 lei

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a...

Informații despre carte

Autor

C. Rattray, Teodor Rus

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

1994

Pagini

444

EAN

9789810219239

ISBN

9810219237

Enbook ID

05064888

Editura

World Scientific Publishing Co Pte Ltd

Greutate

703

Dimensiuni

152 x 218 x 30

Descriere completă

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 a mix of modelling, specification, verification, and implementation of "real" real-time systems, covering 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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Theories And Experiences For Real-time System Development

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și