OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Formal verification"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Subject "Formal verification"

Sort by: Order: Results:

  • Bradley, Adam D.; Bestavros, Azer; Kfoury, Assaf J. (Boston University Computer Science Department, 2002-05-22)
    As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols ...

Search OpenBU


Browse

Deposit Materials

Statistics