OR

Browse By

Using decomposition and abstraction to support automatic reasoning about complex combined software and hardware systems. (2002)

Grant type:
UQ External Support Enabling Grant
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