Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International
121,46 €
Duration specifications for shared processors. - Multicycles and RTL logic satisfiability. - Observing task preemption in Ada 9X. - On fault-tolerant symbolic computations. - Protocol design by layered decomposition.
Jetzt bei Ebay: