Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: J
67,55 €
Invited Papers. - From Software to Hardware and Back. - Of Elections and Electrons. - Regular Papers. - Formal Verification of an Avionics Sensor Voter Using SCADE. - On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
Jetzt bei Ebay:
