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
    School of Information Technology and Electrical Engineering
    Faculty of Engineering, Architecture and Information Technology
  • Chair in CS&EE
    School of Information Technology and Electrical Engineering
    Faculty of Engineering, Architecture and Information Technology
Funded by:
University of Queensland