( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A structural operational semantics for interactions with a look at loops.

, , и . CoRR, (2021)

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.

Sylvie Le Gall

Pascale Roux

Vergleich psychologischer Usability-Evaluationsmethoden am Beispiel einer Bibliothekswebsite. Uni Duisburg-Essen, (2008)

Pascale Schwarz

Pascale Régincos

Pascale Sénéchaud

 

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

Towards Heterogeneous Formal Specification., , и . AMAST, том 1101 из Lecture Notes in Computer Science, стр. 458-472. Springer, (1996)Formal Analysis of the Wnt/β-catenin through Statistical Model Checking., , , и . ISoLA (2), том 8803 из Lecture Notes in Computer Science, стр. 193-207. Springer, (2014)Timed Conformance Testing for Orchestrated Service Discovery., , и . FACS, том 7253 из Lecture Notes in Computer Science, стр. 133-150. Springer, (2011)Revisiting Semantics of Interactions for Trace Validity Analysis., , и . CoRR, (2019)Preserving consistency in geometric modeling with graph transformations., , , , и . Math. Struct. Comput. Sci., 32 (3): 300-347 (марта 2022)Topology-based Geometric Modelling for Biological Cellular Processes., , , , и . LATA, Report 35/07, стр. 497-508. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)An Efficient VCGen-based Modular Verification of Relational Properties., , , и . CoRR, (2024)A Term-based Approach for Generating Finite Automata from Interaction Diagrams., , , , и . CoRR, (2023)Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties., , , , и . TAP, том 11823 из Lecture Notes in Computer Science, стр. 167-185. Springer, (2019)Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing., , , и . ICTSS, том 7641 из Lecture Notes in Computer Science, стр. 119-135. Springer, (2012)