![Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland](https://itee.uq.edu.au/sites/itee.uq.edu.au/files/styles/uq_core_small_square/public/ckfinder/images/staff_profile/189.png?itok=RyihP8Uf)
Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile](https://www.researchgate.net/publication/356242476/figure/fig1/AS:1092549917847552@1637495607477/A-Adaptation-of-ECHO-resulted-in-4-model-versions-depending-on-the-presence-or_Q320.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
![Job VAN BOVEN | Professor (Associate) | PharmD, PhD | University of Groningen, Groningen | RUG | Department of Clinical Pharmacology | Research profile Job VAN BOVEN | Professor (Associate) | PharmD, PhD | University of Groningen, Groningen | RUG | Department of Clinical Pharmacology | Research profile](https://i1.rgstatic.net/ii/profile.image/626255896514561-1526322449544_Q512/Job-Van-Boven.jpg)
Job VAN BOVEN | Professor (Associate) | PharmD, PhD | University of Groningen, Groningen | RUG | Department of Clinical Pharmacology | Research profile
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile](https://i1.rgstatic.net/ii/profile.image/272520880324611-1441985449206_Q512/Jaco-Pol.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile](https://www.researchgate.net/publication/365344081/figure/fig2/AS:11431281104380120@1670036226259/Two-algorithms-conforming-to-the-FMI-Standard-version-20-of-the-scenario-in-Fig1_Q320.jpg)