( en | de | ru )

 

Disambiguierung von "Baarir, Souheib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems.

, , , , und . Sci. Comput. Program., (2019)

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.

Souheib Abdul Karim

 

Weitere Publikationen von Autoren mit dem selben Namen

A framework to formally verify conformance of a software process to a software method., , , , und . SAC, Seite 1518-1525. ACM, (2015)First international workshop on verification of business and software processes., und . ICSSP, Seite 143-144. ACM, (2017)Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag., , , und . Petri Nets, Volume 6709 von Lecture Notes in Computer Science, Seite 338-347. Springer, (2011)Formalization of fUML: An Application to Process Verification., , , und . CAiSE, Volume 8484 von Lecture Notes in Computer Science, Seite 347-363. Springer, (2014)Lumping partially symmetrical stochastic models., , , , und . Perform. Evaluation, 68 (1): 21-44 (2011)Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems., , , , und . Sci. Comput. Program., (2019)A Direct Formal Semantics for BPMN Time-related Constructs., , , und . ENASE, Seite 138-149. SCITEPRESS, (2021)On the Encoding and Solving of Partial Information Games., , , , , und . NETYS, Volume 12129 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2020)On the Formal Verification of Middleware Behavioral Properties., , , , , und . FMICS, Volume 133 von Electronic Notes in Theoretical Computer Science, Seite 139-157. Elsevier, (2004)From partially to fully lumped Markov chains in stochastic well formed Petri nets., , , und . VALUETOOLS, Seite 43. ICST/ACM, (2009)