Search Results - "Logic design"

161

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, Novemb...

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

162

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

163

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts /

by ORegan, Gerard.
Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

164

A General Framework for Reasoning On Inconsistency

by Martinez, Maria Vanina., Molinaro, Cristian., Subrahmanian, V.S., Amgoud, Leila.
Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

165

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

166

Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

167

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

168

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

169

Formal Methods: Foundations and Applications 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

170

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

171

FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

172

Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

173

Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

174

Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

175

Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

176

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

177

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

178

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

179

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

180

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

Narrow Search