( en | de | ru )

 

Disambiguation of "Vittorini, Valeria"

Author of the publication

copydeleteadd this publication to your clipboard
Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example.

, , , , , and . HPCC, volume 3726 of Lecture Notes in Computer Science, page 395-400. Springer, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

Valeria Merlo

Valeria Sordi

Valeria Mospanova

Valeria Tano

Valeria Malieva

 

Other publications of authors with the same name

Advanced AI-based approaches in Industry 4.0 of the University of Naples Federico II node of the CINI-AIIS Lab., , , , , , , , and . Ital-IA, volume 3486 of CEUR Workshop Proceedings, page 1-6. CEUR-WS.org, (2023)Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems., , , , and . ICSRS, page 69-74. IEEE, (2022)Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways., , , , and . ITSC, page 1-7. IEEE, (2020)Petri Net Modelling of Physical Vulnerability., , , and . CRITIS, volume 6983 of Lecture Notes in Computer Science, page 128-139. Springer, (2011)A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach., , , , and . PARA, volume 3732 of Lecture Notes in Computer Science, page 499-508. Springer, (2004)Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework., , , and . QEST, page 85-94. IEEE Computer Society, (2005)Policy formalization to combine separate systems into larger connected network of trust., , , and . Net-Con, volume 235 of IFIP Conference Proceedings, page 425-430. Kluwer, (2002)A Systematic Approach to the Petri Net Based Specification of Concurrent Systems., , , and . Real Time Syst., 13 (3): 219-236 (1997)Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective., , , , and . ISoLA (2), volume 7610 of Lecture Notes in Computer Science, page 190-204. Springer, (2012)Interfaces and binding in component based development of formal models., , , , , and . VALUETOOLS, page 44. ICST/ACM, (2009)