References of "Pradella, Matteo"
Bookmark and Share    
Full Text
Peer Reviewed
See detailModel checking temporal metric specification with Trio2Promela
Bianculli, Domenico UL; Spoletini, Paola; Morzenti, Angelo et al

in Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran (2007)

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailTrio2Promela: a Model Checker for Temporal Metric Specifications
Bianculli, Domenico UL; Morzenti, Angelo; Pradella, Matteo et al

in ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering (2007)

Detailed reference viewed: 118 (2 UL)