( en | de | ru )

 

Disambiguation of "Osaiweran, Ammar"

Author of the publication

copydeleteadd this publication to your clipboard
Assessing the Quality of Tabular State Machines through Metrics.

, , and . QRS, page 426-433. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ammar Ammar

Maha Ammar

Ammar Khraisheh

Ammar Assoum

Ammar Mahdhaoui

 

Other publications of authors with the same name

Evaluating the effect of a lightweight formal technique in industry., , , , and . Int. J. Softw. Tools Technol. Transf., 18 (1): 93-108 (2016)Specification guidelines to avoid the state space explosion problem., , and . Softw. Test. Verification Reliab., 25 (1): 4-33 (2015)Experiences with incorporating formal techniques into industrial practice., , and . Empirical Software Engineering, 19 (4): 1169-1194 (2014)Analyzing a Controller of a Power Distribution Unit Using Formal Methods., , and . ICST, page 420-428. IEEE Computer Society, (2012)Experience report on developing the Front-end client unit under the control of formal methods., , and . SAC, page 1183-1190. ACM, (2012)Experience Report on Designing and Developing Control Components Using Formal Methods., , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 341-355. Springer, (2012)Specification Guidelines to Avoid the State Space Explosion Problem., , and . FSEN, volume 7141 of Lecture Notes in Computer Science, page 112-127. Springer, (2011)Assessing the Quality of Tabular State Machines through Metrics., , and . QRS, page 426-433. IEEE, (2017)Incorporating Formal Techniques into Industrial Practice: an Experience Report., , , and . FESCA, volume 295 of Electronic Notes in Theoretical Computer Science, page 49-63. Elsevier, (2012)Analyzing the effects of formal methods on the development of industrial control software., , and . ICSM, page 467-472. IEEE Computer Society, (2011)