( en | de | ru )

 

Disambiguation of "Salamah, Salamah"

Author of the publication

copydeleteadd this publication to your clipboard
Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course.

, , , and . Infotech@Aerospace, (2012)

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.

Salamah Mohammad Alwahsh

 

Other publications of authors with the same name

A System for Analyzing Diversified Software Binaries., , , and . MILCOM, page 1-6. IEEE, (2019)A platform for evaluator-centric cybersecurity training and data acquisition., , , and . MILCOM, page 394-399. IEEE, (2017)An approach to enhance students' competency in software verification techniques., and . FIE, page 1-9. IEEE Computer Society, (2015)Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications., , , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 533-542. Springer, (2007)Developing case modules for teaching software engineering and computer science concepts., , and . FIE, page 1. IEEE Computer Society, (2011)Verification of Automatically Generated Pattern-Based LTL Specifications., , , and . HASE, page 341-348. IEEE Computer Society, (2007)Using Pairwise Testing to Verify Automatically-Generated Formal Specifications., , and . HASE, page 279-280. IEEE Computer Society, (2015)A Property Specification Tool for Generating Formal Specifications: Prospec 2.0., , , , , and . SEKE, page 273-278. Knowledge Systems Institute Graduate School, (2008)PROTEF: Automatic Verification of Pattern-Based LTL Templates., , and . SEKE, page 261-266. Knowledge Systems Institute Graduate School, (2008)A Novel Approach for Software Property Validation., , and . SETP, page 173-178. ISRST, (2008)