Specification and Compositional Verification of Real-Time Systems Enlarge image

Specification and Compositional Verification of Real-Time Systems

Jozef Hooman
okładka miękka
248 zł

Sprowadzamy na zamówienie


Do koszyka

Opis produktu

Specification and Compositional Verification of Real-Time Systems - Jozef Hooman


Presents two formal methods for the specification and compositional verification of real-time systems, which include a real-time extension of temporal logic and the other based on extended Hoare triples.

Szczegóły

Specification and Compositional Verification of Real-Time Systems

Jozef Hooman
listopad 1991
Springer-Verlag GmbH
252
3540549471
9783540549475
235 x 155 x 13

Recenzje

Napisz własną recenzję
Specification and Compositional Verification of Real-Time Systems - Jozef Hooman

Historia przeglądania