( en | de | ru )

 

Disambiguierung von "Dssouli, Rachida"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Scenarios to Timed Automata: Building Specifications from Users Requirements.

, , und . APSEC, Seite 48-57. IEEE Computer Society, (1995)

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

Quality of service verification experiments., , , , und . CASCON, Seite 23. IBM, (1994)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)Performance testing of a negotiation platform., , und . Inf. Softw. Technol., 44 (5): 313-330 (2002)Model checking intelligent avionics systems for test cases generation using multi-agent systems., , , , , und . Expert Syst. Appl., (2020)Trace Analysis for Conformance and Arbitration Testing., , und . IEEE Trans. Software Eng., 15 (11): 1347-1356 (1989)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)Specifying and verifying contract-driven service compositions using commitments and model checking., , , und . Expert Syst. Appl., (2017)Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*., , , und . Auton. Agents Multi Agent Syst., 27 (3): 375-418 (2013)