skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 2 results
Author [ Titolo(Desc)] Tipo Anno
Filters: Author is Valentina Intilangelo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Santone, A., V. Intilangelo, and D. Raucci, "Application of Equivalence Checking in a Loan Origination Process in Banking Industry", Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE): IEEE, pp. 292-297, 2013.
E
Santone, A., V. Intilangelo, and D. Raucci, "Efficient Formal Verification in Banking Processes", IEEE Ninth World Congress on Services, SERVICES: IEEE, pp. 325-332, 2013.