( en | de | ru )

 

Disambiguierung von "Salamah, Salamah"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Developing an Air/Ground Robots for Disaster Response as a Project for a Senior Capstone Design Course.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Salamah Mohammad Alwahsh

 

Weitere Publikationen von Autoren mit dem selben Namen

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