Showing items 1 - 4 of 4.

Add to Quick Collection   All 4 Results

  • First
  • Previous
  • 1
  • Next
  • Last
Sort:
 Add All Items to Quick Collection
Authors: Wang, Mingzhong
Year: 2017
Publication Details: Proceedings of the 2017 Australasian Computer Science Week Multiconference / Article No. 39
Resource Type: Conference Paper
Reviewed: Reviewed

Year: 1996
Publication Details: FME'96: Industrial Benefit and Advances in Formal Methods / pp.327-346
Editor(s): Gaudel, M C, Woodcock, J (eds)
Resource Type: Conference Paper
Reviewed: Reviewed

Year: 1994
Publication Details: Formal Techniques in Real Time and Fault Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems 1994 Proceedings / pp.455-475
Editor(s): Langmaack, H, de Roever, W P, Vytopil, J (eds)
Resource Type: Conference Paper
Reviewed: Reviewed

  • First
  • Previous
  • 1
  • Next
  • Last

© 2012 University of the Sunshine Coast, Queensland, Australia | ABN 28 441 859 157 | CRICOS Provider No. 01595D