OR

Browse By

A tool for reasoning about combined hardware and software systems. (2001)

Grant type:
University of Queensland Small Grants Scheme
Researchers:

  • Associate Professor Graeme Smith

    Associate Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology

  • Emeritus Professor Ian Hayes

    Emeritus Professor
    School of Electrical Engineering and Computer Science
    Faculty of Engineering, Architecture and Information Technology
Funded by:
The University of Queensland