( en | de | ru )

 

Disambiguierung von "Dssouli, Rachida"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic model checking for agent interactions.

, , , und . AAMAS, Seite 1555-1556. IFAAMAS, (2010)

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.

Rachida Zoubid

Rachida Bay

Rachida Chakir

Rachida Nachit

Rachida Amjoun

 

Weitere Publikationen von Autoren mit dem selben Namen

TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models., , und . Protocol Test Systems, Volume C-3 von IFIP Transactions, Seite 195-206. North-Holland, (1991)A Comparison between the Service Addition Language SAL and the ITU-T Recommendation Z.120., , und . FORTE, Volume 43 von IFIP Conference Proceedings, Seite 287-294. Chapman & Hall, (1995)Quality of service verification experiments., , , , und . CASCON, Seite 23. IBM, (1994)Trace Analysis for Conformance and Arbitration Testing., , und . IEEE Trans. Software Eng., 15 (11): 1347-1356 (1989)Abstract Operational Semantics for Use Case Maps., , und . FORTE, Volume 3731 von Lecture Notes in Computer Science, Seite 366-380. Springer, (2005)A Presence-Based Architecture for the Integration of the Sensing Capabilities of Wireless Sensor Networks in the IP Multimedia Subsystem., , , , und . WCNC, Seite 3116-3121. IEEE, (2008)Big Data Quality: A Data Quality Profiling Model., , und . SERVICES, Volume 11517 von Lecture Notes in Computer Science, Seite 61-77. Springer, (2019)From Scenarios to Timed Automata: Building Specifications from Users Requirements., , und . APSEC, Seite 48-57. IEEE Computer Society, (1995)An efficient method for protocol conversion., , und . ICCCN, Seite 40. IEEE Computer Society, (1995)Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems., , , , und . MEDI Workshops, Volume 929 von Communications in Computer and Information Science, Seite 63-74. Springer, (2018)