( en | de | ru )

 

Disambiguierung von "Rafiq, Omar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Decidability issues in reduced reachability analysis.

, und . ICNP, Seite 158-165. IEEE Computer Society, (1993)

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.

Rafiq Sekkal

Daud Rafiqpoor

Yasmeen Rafiq

Maryam Rafiqi

Rafiq Ahmed

 

Weitere Publikationen von Autoren mit dem selben Namen

On improving reduced reachability analysis., und . FORTE, Volume C-10 von IFIP Transactions, Seite 137-152. North-Holland, (1992)Towards an environment for testing OSI protocols., , , , , und . PSTV, Seite 533-544. North-Holland, (1985)Description, simulation and implementation of communication protocols using PDIL., , , , und . SIGCOMM, Seite 112-120. ACM, (1983)A temporal reachability analysis., und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 35-49. Chapman & Hall, (1995)SDL as a Testing Language., , und . ICCC, Seite 502-507. International Council for Computer Communication / Elsevier, (1986)VADILOC - A Protocol Validator and Its Applications., und . Protocol Specification, Testing, and Verification, Seite 189-197. North-Holland, (1983)Principles and Tools for Testing Open Distributed Systems., , , und . IWTCS, Volume 147 von IFIP Conference Proceedings, Seite 77-92. Kluwer, (1999)An Automatic System for the Study of Protocols: A Presentation and Critique Based on a Worked Example., , und . PSTV, Seite 111-125. North-Holland, (1984)Decidability issues in reduced reachability analysis., und . ICNP, Seite 158-165. IEEE Computer Society, (1993)Coordination Issues in Distributed Testing., , und . PDPTA, Seite 793-799. CSREA Press, (1999)