42 citations · 184 across the 12 of their papers we have counts for
1 paper · 1 filter
Simon Foster, James Baxter, Ana Cavalcanti +2
The growing complexity and diversity of models used in the engineering of dependable systems implies that a variety of formal methods, across differing abstractions, paradigms, and…