( en | de | ru )

 

Disambiguierung von "Akhlaki, Kawtar Benghazi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.

, , , und . JISBD, Seite 283-292. (2006)

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.

Keine Personen gefunden für den Autorennamen Akhlaki, Kawtar Benghazi
Eine Person hinzufügen mit dem Namen Akhlaki, Kawtar Benghazi
 

Weitere Publikationen von Autoren mit dem selben Namen

CloudFit: A Cloud-Based Mobile Wellness Platform Supported by Wearable Computing., , , und . ISAmI, Volume 291 von Advances in Intelligent Systems and Computing, Seite 151-159. Springer, (2014)Coordination of Speech Recognition Devices in Intelligent Environments with Multiple Responsive Devices., , , und . UCAmI, Volume 31 von MDPI Proceedings, Seite 54. MDPI, (2019)A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models., , , und . Sci. Comput. Program., 65 (1): 41-56 (2007)Goal-Oriented Software Architecting., , , , , , , und . Relating Software Requirements and Architectures, Springer, (2011)Designing a Middleware-Based Framework to Support Multiparadigm Communications in Ubiquitous Systems., , , und . ISAmI, Volume 153 von Advances in Intelligent and Soft Computing, Seite 163-170. Springer, (2012)A Model-Driven Approach for the Development of Middleware Technologies for Ubiquitous Systems., , , , und . Intelligent Environments, Seite 16-23. IEEE, (2013)Applying model-driven engineering to a method for systematic treatment of NFRs in AmI systems., , , , , und . J. Ambient Intell. Smart Environ., 5 (3): 287-310 (2013)A Communication Model to Integrate the Request-Response and the Publish-Subscribe Paradigms into Ubiquitous Systems., , , , , und . Sensors, 12 (6): 7648-7668 (2012)Component-Based Design for Multi-tenant Multi-target Support in the Cloud., , , , und . EOMAS@CAiSE, Volume 153 von Lecture Notes in Business Information Processing, Seite 146-160. Springer, (2013)Towards the Correctness Verifcation of Business Processes Modelled with UML., , und . JISBD, Seite 159-170. (2008)