( en | de | ru )

 

Disambiguierung von "Baarir, Souheib"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Alloy4SPV : A Formal Framework for Software Process Verification.

, , , und . ECMFA, Volume 8569 von Lecture Notes in Computer Science, Seite 83-100. Springer, (2014)

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

First international workshop on verification of business and software processes., und . ICSSP, Seite 143-144. ACM, (2017)A framework to formally verify conformance of a software process to a software method., , , , und . SAC, Seite 1518-1525. ACM, (2015)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)On the Encoding and Solving of Partial Information Games., , , , , und . NETYS, Volume 12129 von Lecture Notes in Computer Science, Seite 60-76. Springer, (2020)A Direct Formal Semantics for BPMN Time-related Constructs., , , und . ENASE, Seite 138-149. SCITEPRESS, (2021)From partially to fully lumped Markov chains in stochastic well formed Petri nets., , , und . VALUETOOLS, Seite 43. ICST/ACM, (2009)SAT-Based Minimization of Deterministic -Automata., und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 79-87. Springer, (2015)