All Stories

  1. Early validation and verification of systems using models

    Article • ACM Transactions on Software Engineering and Methodology, March 2024, ACM (Association for Computing Machinery)

    Johan Cederbladh