Table of Contents

First Page		Document Content
Date: 2015-05-07 04:11:23 SAP AG Business Information technology management Computing Market analysis for product software IEEE Software Lero University of Limerick Competitiveness		Table of Contents Add to Reading List Source URL: www.lero.ie Download Document from Source Website File Size: 851,36 KB Share Document on Facebook

	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce DocID: 1xVM2 - View Document
	Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab DocID: 1xUvJ - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus DocID: 1xUrQ - View Document
	Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol DocID: 1xTeg - View Document
	2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC DocID: 1vl2i - View Document