UB ScholarWorks

Browsing by Subject "Object-oriented paradigm"

Browsing by Subject "Object-oriented paradigm"

Sort by: Order: Results:

  • Elleithy, Khaled M. (Kluwer Academic Publishing, 2003)
    In this tutorial we present the area of formal verification of systems on Chips. The paper discuss the following topics: different approaches of formal logic such as first order logic, high order logic, temporal logic. ...

Search ScholarWorks

Browse

My Account