161
Formal Methods for Industrial Critical Systems [E-Book] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
162
Computer Performance Engineering [E-Book] : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
163
Static Analysis [E-Book] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
164
Runtime Verification [E-Book] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
165
Reachability Problems [E-Book] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
166
Logics in Artificial Intelligence [E-Book] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
167
Model-Driven Engineering Languages and Systems [E-Book] : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
168
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 – October 1, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
169
Model-Based Safety and Assessment [E-Book] : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
170
Testing Software and Systems [E-Book] : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
171
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
172
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [E-Book] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
173
Automated Technology for Verification and Analysis [E-Book] : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
174
Verified Software: Theories, Tools and Experiments [E-Book] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
175
Foundational and Practical Aspects of Resource Analysis [E-Book] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
176
Programming Languages and Systems [E-Book] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
177
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [E-Book] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
178
Rewriting Logic and Its Applications [E-Book] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
179
Hardware and Software: Verification and Testing [E-Book] : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
180
Verification, Model Checking, and Abstract Interpretation [E-Book] : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:

Narrow Search Results