245 followers
Efficient Anytime Techniques for Model-Based Safety Analysis. - Marco Bozzano, Alessandro Cimatti, Alberto Griggio,… http://t.co/CgnUssC9eX
Efficient Anytime Techniques for Model-Based Safety Analysis. - Marco Bozzano, Alessandro Cimatti, Alberto Griggio,… http://t.co/CgnUssC9eX