Skip to main content

1 Result(s)

within Computation by Abstract Devices Remove this filter Mathematical Logic and Formal Languages Remove this filter Software Engineering Remove this filter Sergio Feo-Arenis Remove this filter Conference Paper Remove this filter

and
Your search also matched 2 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification

Include preview-only content

  1. Chapter and Conference Paper

    Parameterized Verification of Track Topology Aggregation Protocols

    We present an approach for the verification aggregation protocols, which may be used to perform critical tasks and thus should be verified. We formalize the class of track topology aggregation protocols and pr...

    Sergio Feo-Arenis, Bernd Westphal in Formal Techniques for Distributed Systems (2013)

    Download PDF (266 KB)