45 citations · 110 across the 26 of their papers we have counts for
1 paper · 2 filters
Jie He, Ezio Bartocci, Dejan Ničković +2
Formal methods provide very powerful tools and techniques for the design and analysis of complex systems. Their practical application remains however limited, due to the widely acc…