Nada - PDFSEARCH.IO - Document Search Engine

Nada
Results: 1528

#	Item
91	ITERATIVE ESTIMATORS OF PARAMETERS IN A LINEAR MODEL WITH PARTIALLY VARIANT COEFFICIENTS ‡ ‡ Add to Reading List Source URL: www.nada.kth.se - Date: 2007-06-14 09:01:41
92	Procedure-Modular Veriﬁcation of Control Flow Safety Properties∗ Siavash Soleimanifard Dilian Gurov Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:20
93	LBT for Procedural and Reac1ve Systems Part 2: Reac1ve Systems – Basic Theory Add to Reading List Source URL: www.nada.kth.se - Date: 2015-06-11 07:30:36
94	Reducing Behavioural to Structural Properties of Programs with Procedures Dilian Gurov1? and Marieke Huisman2?? 1 Royal Institute of Technology, Stockholm, Sweden Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:21
95	Reducing Behavioural to Structural Control flow-based Properties of Sequential Programs with Procedures Dilian Gurov KTH Stockholm, Sweden Joint work with: Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:21
96	LNCSSound Control-Flow Graph Extraction for Java Programs with Exceptions Add to Reading List Source URL: www.nada.kth.se - Date: 2012-09-26 08:09:45
97	ProMoVer: Modular Verification of Temporal Safety Properties Siavash Soleimanifard1 , Dilian Gurov1 , and Marieke Huisman2 1 Royal Institute of Technology, Stockholm, Sweden Add to Reading List Source URL: www.nada.kth.se - Date: 2011-09-12 13:20:21
98	LEARNING-BASED TESTING: AN INTRODUCTION TO LBTEST Karl Meinke, CSC School, KTH Stockholm 0. Overview of Talk 1.  Introduction to LBTest tool Add to Reading List Source URL: www.nada.kth.se - Date: 2015-06-11 07:32:29
99	6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2006 FAULT-TOLERANT FITTING AND ONLINE DIAGNOSIS OF FAULTS IN SISO PROCESS Hu Shaolin1,2) Karl Meinke 1) Huang Liusheng2) Huajiang Ou Add to Reading List Source URL: www.nada.kth.se - Date: 2007-06-14 09:36:34
100	Models of CaMKII activation Add to Reading List Source URL: www.nada.kth.se

UPDATE