Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings / edited by Ganesh Gopalakrishnan, Phillip Windley.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Gopalakrishnan, Ganesh (Editor), Windley, Phillip (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edition:	1st ed. 1998.
Series:	Lecture Notes in Computer Science, 1522 Springer eBook Collection.
Subjects:	Computer-aided engineering. Computer hardware. Computer logic. Mathematical logic. Computational complexity. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Formal Methods in Computer-Aided Design First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Published: (1996)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Published: (2000)

Formal Methods in Computer-Aided Design 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings
Published: (2002)

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Published: (2004)

Formal Hardware Verification Methods and Systems in Comparison
Published: (1997)

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings
Published: (1999)

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Published: (2012)

Computer Aided Verification 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Published: (1996)

Trustworthy hardware design : combinational logic locking techniques
by: Yasin, Muhammad, et al.
Published: (2020)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
Published: (2005)

VHDL for Logic Synthesis.
by: Rushton, Andrew
Published: (2011)

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
Published: (2003)

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Published: (2018)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007, Proceedings
Published: (2007)

Correct Hardware Design and Verification Methods 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Published: (2001)

Field Programmable Logic and Applications 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings.
Published: (1997)

Computer-Aided Design and Manufacturing Methods and Tools
Published: (1986)

Practical Formal Methods for Hardware Design
Published: (1997)

Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers
Published: (2003)

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Published: (2005)

Understanding Formal Methods
by: Monin, Jean-Francois
Published: (2003)

Fuzzy Logic in Artificial Intelligence IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings
Published: (1994)

Digital logic design using Verilog : coding and RTL synthesis
by: Taraate, Vaibbhav
Published: (2022)

Theory of automata, formal languages and computation
by: Xavier, Eugene, S. P.
Published: (2005)

Field-Programmable Logic, Smart Applications, New Paradigms and Compilers 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings
Published: (1996)

Concurrency and Hardware Design Advances in Petri Nets
Published: (2002)

Computational limitations of small-depth circuits
by: Håstad, Johan
Published: (1987)

Design, Analysis and Test of Logic Circuits Under Uncertainty
by: Krishnaswamy, Smita, et al.
Published: (2013)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings
Published: (1998)

Computability, complexity, logic
by: Börger, E. (Egon), 1946-
Published: (1989)

Formal Logical Methods for System Security and Correctness.
by: Grumberg, O.
Published: (2008)

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Published: (2015)

Correct Hardware Design and Verification Methods IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
Published: (1993)

Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Published: (1999)

Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings
Published: (2001)

Computer Aided Optimal Design: Structural and Mechanical Systems
Published: (1987)

NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
Published: (2017)

Introduzione al Progetto di Sistemi Digitali
by: Donzellini, Giuliano, et al.
Published: (2023)

Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings
Published: (2000)

Modern Formal Methods and Applications
Published: (2006)