Back to Results
First PageMeta Content
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


                                   Invitation to Courses PROF. KRISHNENDU CHATTERJEE
Add to Reading List

Document Date: 2010-02-12 03:12:12

Open Document

File Size: 104,84 KB

Share 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