![Formal methods / Logic in computer science / Formal verification / Model checking / Correctness / Institute of Science and Technology Austria / Distributed algorithm / Algorithm / Specification / Theoretical computer science / Applied mathematics / Mathematics Formal methods / Logic in computer science / Formal verification / Model checking / Correctness / Institute of Science and Technology Austria / Distributed algorithm / Algorithm / Specification / Theoretical computer science / Applied mathematics / Mathematics](https://www.pdfsearch.io/img/21d7ddc45233910bf45d1a5e24b10e48.jpg)
| Document Date: 2010-02-12 03:12:12 Open Document File Size: 104,84 KBShare Result on Facebook
City Vienna / / Country Austria / / / Facility Am Campus / IST Austria Central Building / Institute of Science / / IndustryTerm low-level services / Fault-tolerant distributed algorithms / open reactive systems / Suitable algorithms / / Organization Institute of Science / / Person KRISHNENDU CHATTERJEE / ULRICH SCHMID / / Position controller / / Technology Fault-tolerant distributed algorithms / / URL http /
SocialTag |