You searched for: mathematical biology
1 to 1 of 1 results
Show
results per page
Matched phrases in profile:
Formal, i.e., mathematically based, design and analysis of software and software-based systems… ., mathematically based, design and analysis of software and software-based systems. His seminal work on formal… library of SAL definitions encoding the Z mathematical toolkit.…
Associate Professor Graeme Smith has over 100 publications in the area of formal, i.e., mathematically based, design and analysis of software and software-based systems. His seminal work on formal object-oriented modelling has found application in the telecommunications and railways sectors, and tha …
Associate Professor Graeme Smith’s research has had the following impact outside of academia:
His research on formal obejct-oriented modelling has been used
to specify and verify the design of a fault-tolerant telecommunications platform for the Overseas Telecommunications Corporation, Australia …
1 to 1 of 1 results