Aah Ammar Osaiweran

Investigating the effects of designing industrial control software using push and poll strategies

Jan Friso Groote, Aah Ammar Osaiweran, Mtw Mathijs Schuts, 2011 .

Formal development of control software in the medical systems domain

Aah Ammar Osaiweran, 2012 .

Analytical software design : introduction and industrial experience report

Mohammad Reza Mousavi, Aah Ammar Osaiweran, Marcel Boosten, 2010 .

Benefits of applying formal methods to industrial control software

Jan Friso Groote, Aah Ammar Osaiweran, Jh Wesselius, 2011 .

Evaluating the Effect of Formal Techniques in Industry

Jan Friso Groote, Jjm Jozef Hooman, Aah Ammar Osaiweran, 2012 .

Incorporating formal techniques into industrial practice

Jjm Jozef Hooman, Aah Ammar Osaiweran, Mtw Mathijs Schuts, 2012 .