Model checking Multi-Agent System and its applications [ 2009 - 2013 ]

Research Grant

[Cite as]

Researchers Dr K Su

Brief description This research project directly addresses two of the Australian Government's four National Research Priorities: National Research Priorities 3 and 4. It will develop an enabling technology that is applicable to the development of safety-intensive and highly dependable software systems like medical equipment and airport controlling systems. The security protocol analysis technologies developed by this project can be useful for providing improved ways of military operation flows, and for making Australian security communication systems more dependable.

Funding Amount $686,400

Funding Scheme Future Fellowships

Viewed: [[ro.stat.viewed]]