More Testable Properties Yli`es Falcone1 , Jean-Claude Fernandez2 , Thierry J´eron1, Herv´e Marchand1 , and Laurent Mounier2 1 INRIA, Rennes - Bretagne Atlantique, France - Claude - Document - PDFSEARCH.IO

First Page	Meta Content
	More Testable Properties Yli`es Falcone1 , Jean-Claude Fernandez2 , Thierry J´eron1, Herv´e Marchand1 , and Laurent Mounier2 1 INRIA, Rennes - Bretagne Atlantique, France Add to Reading List Document Date: 2010-12-01 07:30:01 Open Document File Size: 353,94 KB Share Result on Facebook

More Testable Properties Yli`es Falcone1 , Jean-Claude Fernandez2 , Thierry J´eron1, Herv´e Marchand1 , and Laurent Mounier2 1 INRIA, Rennes - Bretagne Atlantique, FranceAdd to Reading List