Danita Hartley

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Padmanabhan Krishnan, Danita Hartley
Using Model Checking to Test a Firewall : A Case Study. EUROMICRO (2002)
Danita Hartley, Antonija Mitrovic
Supporting Learning by Opening the Student Model. Intelligent Tutoring Systems (2002)
Danita Hartley, Neville Churcher, Greg Albertson
Virtual worlds for Web site visualisation. APSEC (2000)