Author:
Safe Georgia Penido,Coelho Claudionor,Vieira Luiz Filipe M.,Do Val Celina Gomes,Nacif Jose Augusto,Fernandes Antonio Otavio
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference22 articles.
1. Amla, N., Du, X., Kuehlmann, A., Kurshan, R.P., McMillan, K.L.: An analysis of SAT-based model checking techniques in an industrial environment. In: CHARME: Correct Hardware Design and Verification Methods, pp. 254–268 (2005)
2. Amla, N., Kurshan, R.P., McMillan, K.L., Medel, R.: Experimental analysis of different techniques for bounded model checking. In: TACAS: Tools and Algorithms for the Construction and Analysis of Systems, pp. 34–48 (2003)
3. Bailey, B.: A new vision of scalable verification. http://www.eetimes.com/news/design/features/showArticle.jhtml?articleID=18400907 (2004)
4. Cherry, G.A., Qin, S.J.: Multiblock principal component analysis based on a combined index for semiconductor fault detection and diagnosis. In: IEEE Transactions on Semiconductor Manufacturing, vol. 19, pp. 159–172 (2006)
5. Cohen J., Cohen P., West S.G., Aiken L.S.: Applied Multiple Regression/Correlation Analysis for the Behavioral Sciences. Lawrence, Erlbaum Associate Publishers, Hillsdale (2003)