Compartir
compositional verification of concurrent and real-time systems (en Inglés)
Tsai,Juan (Autor)
·
springer publishing map
· Libro Físico
compositional verification of concurrent and real-time systems (en Inglés) - tsai,juan
$ 198.49
$ 275.68
Ahorras: $ 77.19
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Viernes 26 de Julio y el
Viernes 02 de Agosto.
Lo recibirás en cualquier lugar de Internacional entre 1 y 3 días hábiles luego del envío.
Reseña del libro "compositional verification of concurrent and real-time systems (en Inglés)"
with the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. it is essential, therefore, that software used for safety-critical systems preserves high assurance properties. compositional verification of concurrent and real-time systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance software systems. the book focuses on the efficient analysis of large-scale systems based on the concept of compositional verification of modules. compositional verification of concurrent and real-time systems is an excellent resource for student and researchers who seek a comprehensive understanding of how formal methods can be applied to the problems of intellectual or industrial significance. the application areas include concurrent systems, distributed systems, embedded systems, and real-time systems. the analysis models used are multiset labeled transition systems and time petri nets.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
✓ Producto agregado correctamente al carro, Ir a Pagar.