( en | de | ru )

 

Disambiguierung von "Vittorini, Valeria"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.

, , , , , , , und . WISE@ASE, Seite 29-34. ACM, (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.

Valeria Sordi

Valeria Merlo

Valeria Tano

Valeria Bartsch

Valeria Mospanova

 

Weitere Publikationen von Autoren mit dem selben Namen

Interfaces and binding in component based development of formal models., , , , , und . VALUETOOLS, Seite 44. ICST/ACM, (2009)A Systematic Approach to the Petri Net Based Specification of Concurrent Systems., , , und . Real Time Syst., 13 (3): 219-236 (1997)Policy formalization to combine separate systems into larger connected network of trust., , , und . Net-Con, Volume 235 von IFIP Conference Proceedings, Seite 425-430. Kluwer, (2002)Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks., , , und . Formal Aspects Comput., 33 (6): 989-1007 (2021)A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework., , , , , und . Trans. Petri Nets Other Model. Concurr., (2012)Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective., , , , und . ISoLA (2), Volume 7610 von Lecture Notes in Computer Science, Seite 190-204. Springer, (2012)Repairable Fault Tree for the Automatic Evaluation of Repair Policies., , , und . DSN, Seite 659-668. IEEE Computer Society, (2004)Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems., , und . PDP, Seite 134-. IEEE Computer Society, (2004)A Study on Multiformalism Modeling of Critical Infrastructures., , , und . CRITIS, Volume 5508 von Lecture Notes in Computer Science, Seite 336-343. Springer, (2008)A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance, , , und . CoRR, (2013)