( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Efficient Solution for Model Checking Graph Transformation Systems

, , , и . Electronic Notes in Theoretical Computer Science, 213 (1): 3--21 (мая 2008)
DOI: http://dx.doi.org/10.1016/j.entcs.2008.04.071

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.

Anna-Pia Paolazzi

Domingos Paola

Paola Traverso

Paola Borri

Paola Nava

 

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

Verification of temporal logic specifications via model checking.. Polytechnic University of Milan, Italy, (2005)Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation., и . ICSE, стр. 1290-1302. IEEE, (2023)Managing non-functional uncertainty via model-driven adaptivity., , , и . ICSE, стр. 33-42. IEEE Computer Society, (2013)A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures., , , и . VLSI-SoC, стр. 24-29. IEEE, (2006)History Checking of XML Data Streams., и . DEXA Workshops, стр. 542-546. IEEE Computer Society, (2006)A Fuzzy Extension for the XPath Query Language., , и . FQAS, том 4027 из Lecture Notes in Computer Science, стр. 210-221. Springer, (2006)Supporting Verification-Driven Incremental Distributed Design of Components., , , и . FASE, том 10802 из Lecture Notes in Computer Science, стр. 169-188. Springer, (2018)A framework for XML data streams history checking and monitoring., и . WWW, стр. 983-984. ACM, (2006)Integrating Goal Model Analysis with Iterative Design., , и . REFSQ, том 10153 из Lecture Notes in Computer Science, стр. 112-128. Springer, (2017)Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews., , , , , и . ACM Trans. Softw. Eng. Methodol., 33 (4): 87:1-87:36 (мая 2024)