Formal equivalence checking and design debugging von Huang, Shi-Yu, Cheng, Kwang-Ting

Formal Equivalence Checking and Design Debugging von Huang, Shi-Yu, Cheng, Kwang-Ting (Tim)

DE-634
URL des Erstveröffentlichers

Model checking and artificial intelligence 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers

Inhaltstext
Inhaltsverzeichnis

Software error detection through testing and analysis von Huang, J. C. 1935-

Inhaltsverzeichnis

Advances in computer science and education

Inhaltstext
Inhaltsverzeichnis

Information security practice and experience 10th international conference, ISPEC 2014, Fuzhou, China, May 5 - 8, 2014 ; proceedings

DE-634
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract

Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Inhaltsverzeichnis

Guidelines for the design of agricultural videotex systems von Harkin, Michael, Landau, Kurt

Inhaltsverzeichnis

Python API development fundamentals develop a full stack web application with python and flask von Chan, Jack, Chung, Ray, Huang, Jack

Inhaltsverzeichnis

Integrated formal methods 7th international conference, IFM 2009, Düsseldorf, Germany, February 16 - 19, 2009 ; proceedings

Inhaltsverzeichnis

Emerging intelligent computing technology and applications with aspects of artificial intelligence : 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South...

Inhaltsverzeichnis

Web information systems engineering - WISE 2013 workshops WISE 2013 International Workshops BigWebData, MBC, PCS, STeH, QUAT, SCEH, and STSC 2013, Nanjing, China, October 13-15, 20...

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-861
DE-91
DE-384
DE-473
DE-703
DE-20
DE-706
DE-29
DE-739
Volltext
Inhaltsverzeichnis
Abstract

Tools and algorithms for the construction and analysis of systems 18th international conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Proceedings of the Conference September 20 - 26, 2009, Edmonton, Alberta, Canada ; [celebrating 25 years]

Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 19th international conference, TACAS 2013, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011 ; Durham, UK, October 26 - 28, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Programming languages and systems 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5 - 7, 2011 ; proceedings

Inhaltstext
Inhaltsverzeichnis

Tools and algorithms for the construction and analysis of systems 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice o...

Inhaltstext
Inhaltsverzeichnis

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1 - 4, 2010 ; proceedings

Inhaltstext
Inhaltsverzeichnis