248 citations · 416 across the 27 of their papers we have counts for
1 paper · 1 filter
Ayodeji O. Abioye, William Hunt, Yue Gu +7
Formal Modelling is often used as part of the design and testing process of software development to ensure that components operate within suitable bounds even in unexpected circums…