Formal Methods for Industrial Critical Systems: 19th International Conference, F
74,86 €
Assertion-Based Monitoring in Practice – Checking Correctness of an Automotive Sensor Interface. - Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. - Formal Specification and Verification of TCP Extended with the Window Scale Option.
Jetzt bei Ebay:
