Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo et al.
2014In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014)
Peer reviewed
 

Files


Full Text
isola2014.pdf
Publisher postprint (237.41 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Filieri, Antonio
Ghezzi, Carlo
Mandrioli, Dino
External co-authors :
yes
Language :
English
Title :
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Publication date :
October 2014
Event name :
6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014)
Event place :
Corfu, Greece
Event date :
8-11 October 2014
Audience :
International
Main work title :
Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014)
Publisher :
Springer
Collection name :
Lecture Notes in Computer Science
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 25 June 2014

Statistics


Number of views
52 (1 by Unilu)
Number of downloads
1 (1 by Unilu)

Scopus citations®
 
6
Scopus citations®
without self-citations
3
WoS citations
 
5

Bibliography


Similar publications



Contact ORBilu