Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

14 years 2 months ago

cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit

Ananda Basu, Saddek Bensalem, Marius Bozga, Beno&i

CNRS | Formal Methods | FORTE 2010 | Université Joseph Fourier | Verimag Laboratory |

claim paper

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2010
Where	FORTE
Authors	Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay

Comments (0)