1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…