Augusto, Juan Carlos
infj.ulst.ac.ukUniversity of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.