vix.ing · top · new · best · stats · spec

Casaluce, Roberto

  1. White-box validation of quantitative product lines by statistical model checking and process mining
    2024/01/23 by Roberto Casaluce, Casaluce, Roberto, Andrea Burattin +7 · 1 citation
    Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Advanced Software Engineering Methodologies #Software Engineering Research