1 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Manuela Bujorianu, Michael Fisher
The main workshop objective was to promote a holistic view and interdisciplinary methods for design, verification and co-ordination of aerospace systems, by combining formal method…