( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A framework to formally verify conformance of a software process to a software method.

, , , , и . SAC, стр. 1518-1525. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Souheib Abdul Karim

 

Другие публикации лиц с тем же именем

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