22 citations · 52 across the 4 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…