Nada - PDFSEARCH.IO - Document Search Engine

Nada
Results: 1528

#	Item
81	DD2459 So)ware Reliability Karl Meinke Add to Reading List Source URL: www.nada.kth.se - Date: 2012-01-30 05:29:09
82	CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties Marieke Huisman1 and Dilian Gurov2, 1 2 Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:20
83	Compositional Algorithmic Verification of Software Product Lines Ina Schaefer1 , Dilian Gurov2 , and Siavash Soleimanifard2 1 2 Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:20
84	Learning-based Testing for Procedural and Hybrid Systems Karl Meinke, Add to Reading List Source URL: www.nada.kth.se - Date: 2016-10-17 05:35:10
85	LEARNING-BASED TESTING FOR REACTIVE SYSTEMS Karl Meinke CSC School KTH Stockholm Add to Reading List Source URL: www.nada.kth.se - Date: 2016-10-17 05:33:17
86	1, 2, Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:21
87	Automated Inference of Excitable Cell Models as Hybrid Automata RASMUS ANSIN, DIDRIK LUNDBERG, Add to Reading List Source URL: www.nada.kth.se - Date: 2013-05-31 06:47:14
88	CID-183 ISSNDepartment of Numerical Analysis and Computer Science Add to Reading List Source URL: cid.nada.kth.se - Date: 2003-08-20 07:49:40
89	BEHAVIORAL RESPONSES TO TAXES: LESSONS FROM THE EITC AND LABOR SUPPLY Nada Eissa Hilary Hoynes Working Paper 11729 Add to Reading List Source URL: www.nber.org - Date: 2005-11-02 10:33:51
90	Computing with an SMT solver Nada Amin 0 , K. Rustan M. Leino 1 , and Tiark Rompf 0,2 0 EPFL, Lausanne, Switzerland Add to Reading List Source URL: research.microsoft.com - Date: 2014-04-02 22:56:02

UPDATE