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

Jane Hillston

  1. Introduction to the special issue on timed and stochastic approaches to system evaluation
    2026/02/01 by Jane Hillston, Sadegh Soudjani, Masaki Waga · 1 voice
    Computer Science · Engineering · #Software Reliability and Analysis Research #Formal Methods in Verification #Systems Engineering Methodologies and Applications