IEEE standard information technology--test methods for measuring conformance to open systems interconnections (OSI) abstract data manipulation application program interface (API) language independent part 3



Conference on Software Maintenance, 1991

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003232326 / 1992-01-14
Date of Publication:
October 15, 1991
Date of Creation:
1991
Title:
Conference on Software Maintenance, 1991 : proceedings : October 15-17, 1991, Sorrento, Italy.
Description:
1 v.
Variant title:
Conference on Software Maintenance, 1991 : proceedings
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
collective work: the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of the IEEE-SP International Symposium on Time-Frequency and Time-Scale Analysis

Copyrights records by Institute of Electrical and Electronics Engineers, Inc.

Conference on Software Maintenance, Sorrento, Italy, 1991
Software Maintenance, Conference on. (4 documents)
example document: Conference on Software Maintenance, 1988

Copyrights records by Software Maintenance, Conference on.

Oversampling delta-sigma data converters

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003232328 / 1992-01-14
Date of Publication:
August 16, 1991
Date of Creation:
1991
Title:
Oversampling delta-sigma data converters : theory, design, and simulation / edited by James C. Candy, Gabor C. Temes.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Description:
1 v.
Variant title:
Oversampling delta-sigma data converters : theory, design, and simulation
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
collective work: the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
James C. Candy
Gabor C. Temes (3 documents)
example document: Selected papers on integrated analog filters
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: 9th symposium on computer arithmetic

Modern power electronics

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003234709 / 1992-01-14
Date of Publication:
December 23, 1991
Date of Creation:
1991
Title:
Modern power electronics : evolution, technology, and applications / edited by B. K. Bose.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Description:
1 v.
Number of similar titles:
1
Similar Title:
Modern power electronics and AC drives
Variant title:
Modern power electronics : evolution, technology, and applications
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
collective work: the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Bimal K. Bose (5 documents)
example document: Power electronics and AC drives

Copyrights records by Bose, Bimal K.

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: International Test Conference, 1986

Advances in adaptive control

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003234817 / 1992-01-14
Date of Publication:
June 17, 1991
Date of Creation:
1991
Title:
Advances in adaptive control / edited by Kumpati S. Narendra, Romeo Ortega, Peter Dorato.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Description:
1 v.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Kumpati S. Narendra
Romeo Ortega
Peter Dorato (5 documents)
example document: Robust control

Copyrights records by Dorato, Peter

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of the 1998 South African symposium on communications and signal processing COMSIG '98, University of Cape Town, Rondebosch, 7th, 8th September, 1998

Nonvolatile semiconductor memories

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003234818 / 1992-01-14
Date of Publication:
May 9, 1991
Date of Creation:
1991
Title:
Nonvolatile semiconductor memories : technologies, design, and applications / edited by Chemming Hu.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Description:
1 v.
Variant title:
Nonvolatile semiconductor memories : technologies, design, and applications
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Chemming Hu
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Control data networks for power and industrial plants

Discrete event dynamic systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003234820 / 1992-01-14
Date of Publication:
September 20, 1991
Date of Creation:
1991
Title:
Discrete event dynamic systems : analyzing complexity and performance in the modern world / edited by Yu-chi Ho.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Description:
1 v.
Number of similar titles:
2
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Yu-chi Ho
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings first euromicro conference on software maintenance and reengineering

Pesc '91 record

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003236104 / 1992-01-14
Date of Publication:
June 24, 1991
Date of Creation:
1991
Title:
Pesc '91 record : 22nd Annual IEEE Power Electronics Specialists Conference / sponsored by the IEEE Power Electronics Society.
Other Title:
Power Conditioning Specialist Conference, 1970-71
Power Processing and Electronic Specialists Conference, 1972
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Notes:
Conference held June 24-27, 1991, Cambridge, Mass.
Formerly Power Conditioning Specialist Conference, 1970-71, Power Processing and Electronic Specialists Conference, 1972.
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
IEEE Power Electronics Society

Copyrights records by IEEE Power Electronics Society

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: 1978 I E E E International Conference on Acoustics, Speech & Signal Processing
IEEE Power Electronics Specialists Conference, 22nd, Cambridge, Mass., 1991

Broadboard switching

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237397 / 1992-02-05
Date of Publication:
September 6, 1991
Date of Creation:
1991
Title:
Broadboard switching : architectures, protocols, design, and analysis / edited by Chris Dhas, Vijaya K. Konangi, M. Sreetharan.
Basis of Claim:
New Matter: compilation, additions.
Series:
IEEE Computer Society Press tutorial
Other Title:
IEEE Computer Society Press tutorial
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Vijaya K. Konangi
Chris Dhas 1943-
Muthuthambi Sreetharan
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: 1990 IEEE International Conference on Computer Design

Visual programming environments

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237406 / 1992-02-05
Date of Publication:
August 31, 1990
Date of Creation:
1990
Title:
Visual programming environments : paradigms and systems / Ephraim P. Glinert, editor.
Basis of Claim:
New Matter: compilation, some text & index.
Number of similar titles:
1
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Ephraim P. Glinert (2 documents)
example document: Introduction to computer science using Pascal
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of the 2000 IEEE Engineering Management Society

Software maintenance and computers

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237408 / 1992-02-05
Date of Publication:
July 1, 1990
Date of Creation:
1990
Title:
Software maintenance and computers / edited by David H. Longstreet.
Basis of Claim:
New Matter: compilation, some text & index.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
David H. Longstreet
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: American national standard performance criteria for active personnel radiation monitors

Domain analysis and software systems modeling

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237564 / 1992-02-05
Date of Publication:
May 3, 1991
Date of Creation:
1991
Title:
Domain analysis and software systems modeling / Ruben Prieto-Diaz and Guillermo Arango.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Ruben Prieto-Diaz
Guillermo Arango
Ruben Prieto Diaz

Copyrights records by Diaz, Ruben Prieto

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings 13th euromicro conference on real-time systems

Validating and verifying knowledge-based systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237575 / 1992-02-05
Date of Publication:
May 20, 1991
Date of Creation:
1991
Title:
Validating and verifying knowledge-based systems / Uma G. Gupta.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Uma G. Gupta (4 documents)
example document: Information systems

Copyrights records by Gupta, Uma G.

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Computational electromagnetics

Visual programming environments

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237588 / 1992-02-05
Date of Publication:
August 31, 1990
Date of Creation:
1990
Title:
Visual programming environments : applications and issues / Ephraim P. Glinert, editor.
Basis of Claim:
New Matter: compilaton, additional text & index.
Number of similar titles:
1
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Ephraim P. Glinert (2 documents)
example document: Introduction to computer science using Pascal
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings 2000 international database engineering and applications symposium

System and software requirements engineering

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003237589 / 1992-02-05
Date of Publication:
March 12, 1990
Date of Creation:
1990
Title:
System and software requirements engineering / edited by Richard H. Thayer and Merlin Dorfman ; foreword by Raymond T. Yeh.
Basis of Claim:
New Matter: compilaton, additional text & index.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Richard H. Thayer (7 documents)
example document: Software engineering project management

Copyrights records by Thayer, Richard H.

Merlin Dorfman (8 documents)
example document: Aerospace software engineering

Copyrights records by Dorfman, Merlin

Raymond T. Yeh (5 documents)
example document: Entity-relationship approach to software engineering

Copyrights records by Yeh, Raymond T.

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: IEEE International Conference on Computer-Aided Design, 1990

Advances in distributed system reliability

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003238915 / 1992-02-05
Date of Publication:
December 11, 1989
Date of Creation:
1989
Title:
Advances in distributed system reliability / Suresh Rai, Dharma P. Agrawal.
Basis of Claim:
New Matter: "compilation, some new text, and index."
Description:
1 v.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
collective work: the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Suresh Rai (1 documents)
example document: Distributed computing network reliability
Dharma P. Agrawal (3 documents)
example document: Distributed computing network reliability

Copyrights records by Agrawal, Dharma P.

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of LFNM'2000

Volume visualization

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003239857 / 1992-02-05
Date of Publication:
November 19, 1990
Date of Creation:
1990
Title:
Volume visualization / Arie Kaufman.
Basis of Claim:
New Matter: compilation & additions.
Series:
Tutorial
Description:
1 v.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Arie Kaufman
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of the 27th Intersociety Energy Conversion Engineering Conference

The Test access port and boundary scan architecture

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003239858 / 1992-02-05
Date of Publication:
September 20, 1990
Date of Creation:
1990
Title:
The Test access port and boundary scan architecture / Colin M. Maunder and Rodham E. Tulloss.
Basis of Claim:
New Matter: compilation & additions.
Series:
Tutorial
Description:
1 v.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, Inc., employer for hire.
Names:
Colin M. Maunder
Rodham E. Tulloss
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Tutorial, local computer networks

Proceedings, the Seventh Knowledge-based Software Engineering Conference, McLean, Virginia, September 20-23, 1992

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003483803 / 1993-02-12
Date of Publication:
September 20, 1992
Date of Creation:
1992
Title:
Proceedings, the Seventh Knowledge-based Software Engineering Conference, McLean, Virginia, September 20-23, 1992 / sponsored by Rome Laboratory, Griffiss Air Force Base, New York.
Imprint:
Los Alamitos, CA : IEEE Computer Society Press, c1992.
Description:
259 p.
Variant title:
Proceedings, the Seventh Knowledge-based Software Engineering Conference
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of the 1991 IEEE National Radar Conference, Sheraton Plaza La Reina Hotel, Los Angeles, California, March 12-13, 1991
Knowledge-based Software Engineering Conference, 7th, McLean, VA, 1992
Rome Laboratory (3 documents)
example document: Failure mode/mechanism distributions, 1991

Thirteenth IEEE/CHMT International Electronics Manufacturing Technology Symposium

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003556861 / 1993-05-18
Date of Publication:
September 28, 1992
Date of Creation:
1992
Title:
Thirteenth IEEE/CHMT International Electronics Manufacturing Technology Symposium : proceedings 1992 IEMT symposium, September 28-30, 1992, Baltimore, MD / sponsored by the Electronic Industries Association
Description:
381 p.
Variant title:
Thirteenth IEEE/CHMT International Electronics Manufacturing Technology Symposium : proceedings 1992 IEMT symposium
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Authorship on Application:
the Institute of Electrical and Electronics Engineers, employer for hire.
Names:
Electronic Industries Association (1005 documents)
example document: Blank detail specification for multi-package module sockets for use in electronic equipment

Copyrights records by Electronic Industries Association

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Oceanic Data Base Information Exchange Workshop
IEEE/CHMT International Electronics Manufacturing Technology Symposium, 13th, Baltimore, 1992

Globecom '92

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003600551 / 1993-06-29
Date of Publication:
December 6, 1992
Date of Creation:
1992
Title:
Globecom '92 : communication for global users : v. 1-3 : IEEE Global Telecommunications Conference, Orlando, Florida : conference record.
Description:
3 v.
Variant title:
Globecom '92 : communication for global users : v. 1-3
Other Title:
IEEE Global Telecommunications Conference, Orlando, Florida : conference record
Copyright Claimant:
the Institute of Electrical and Electronics Engineers
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Productivity, an urgent priority
IEEE Global Telecommunications Conference, Orlando, 1992

Computer-based medical systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003611620 / 1993-09-10
Date of Publication:
June 13, 1993
Date of Creation:
1993
Title:
Computer-based medical systems : proceedings of the sixth annual IEEE symposium, June 13-16, 1993, Ann Arbor, Michigan.
Application Title:
Proceedings of sixth annual IEEE symposium on computer-based medical systems, June 13-16, 1993, Ann Arbor, Michigan.
Imprint:
Los Alamitos, CA : IEEE Computer Society Press, c1993.
Description:
313 p.
Variant title:
Computer-based medical systems : proceedings of the sixth annual IEEE symposium
Other Title:
Proceedings of sixth annual IEEE symposium on computer-based medical systems, June 13-16, 1993, Ann Arbor, Michigan.
IEEE symposium on computer-based medical systems, June 13-16, 1993, Ann Arbor, Michigan
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: IEEE conference record--abstracts

IEEE standard test procedure for flame-retardant coatings applied to insulated cables in cable trays

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003612518 / 1993-08-10
Date of Publication:
July 26, 1993
Date of Creation:
1993
Title:
IEEE standard test procedure for flame-retardant coatings applied to insulated cables in cable trays : IEEE Std 817-1993.
Description:
9 p.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: IEEE recommended practice for electric power distribution for industrial plants

IEEE standard for a chip and module interconnect bus

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003649093 / 1993-10-21
Date of Publication:
September 17, 1993
Date of Creation:
1993
Title:
IEEE standard for a chip and module interconnect bus : SBUs : IEEE std 1496-1993.
Variant title:
IEEE standard for a chip and module interconnect bus : SBUs
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings of the IEEE international symposium on industrial electronics

IEEE standard for military module, format E form factor

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003651386 / 1993-09-23
Date of Publication:
August 26, 1993
Date of Creation:
1993
Title:
IEEE standard for military module, format E form factor : IEEE std 1101.4-1993.
Description:
23 p.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: 1981 Winter Simulation Conference

IEEE standard microprocessor environmental specifications for computer modules

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003651387 / 1993-09-23
Date of Publication:
August 23, 1993
Date of Creation:
1993
Title:
IEEE standard microprocessor environmental specifications for computer modules : IEEE std 1156.1-1993.
Description:
19 p.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Reduced instruction set computers

IEEE standard for low-voltage DC power circuit breakers used in enclosures

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003651388 / 1993-09-23
Date of Publication:
August 25, 1993
Date of Creation:
1992
Title:
IEEE standard for low-voltage DC power circuit breakers used in enclosures : IEEE std C37.14-1992.
Edition:
Revision of IEEE std C37-14-1979.
Basis of Claim:
New Matter: "new and revised text and tables."
Previous Registration:
Prev. reg.
Description:
38 p.
Number of similar titles:
1
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Computer networks

IEEE standard information technology--test methods for measuring conformance to open systems interconnections (OSI) abstract data manipulation application program interface (API) language independent

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003664278 / 1993-10-20
Date of Publication:
September 29, 1993
Date of Creation:
1993
Title:
IEEE standard information technology--test methods for measuring conformance to open systems interconnections (OSI) abstract data manipulation application program interface (API) language independent.
Description:
86 p.
Variant title:
IEEE standard information technology--test methods for measuring conformance to open systems interconnections (OSI)
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Notes:
Cataloged from appl.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: IEEE International Conference on Electrical Energy

1993 Canadian Conference on Electrical and Computer Engineering = Congres Canadien en Genie Electrique et Informatique 1993

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003685962 / 1994-01-03
Date of Publication:
September 14, 1993
Date of Creation:
1993
Title:
1993 Canadian Conference on Electrical and Computer Engineering = Congres Canadien en Genie Electrique et Informatique 1993 : v. 1-2 : conference proceedings : September 14-17, 1993, Hyatt Regency Hotel, Vancouver, Canada / edited by Vijay K. Bhargava.
Variant title:
1993 Canadian Conference on Electrical and Computer Engineering
Other Title:
Congres Canadien en Genie Electrique et Informatique 1993 : v. 1-2
Canadian Conference on Electrical and Computer Engineering
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc. (employer for hire)
Names:
Vijay K. Bhargava (4 documents)
example document: Digital communications by satellite

Copyrights records by Bhargava, Vijay K.

Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Proceedings 2nd international workshop on advanced issues of e-commerce and Web-based information systems WECWIS 2000, June 8-9, 2000, Milpitas, California

IEEE standard criteria for digital computers in safety systems of nuclear power generating stations

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003741601 / 1994-03-03
Date of Publication:
February 3, 1994
Date of Creation:
1993
Title:
IEEE standard criteria for digital computers in safety systems of nuclear power generating stations : IEEE std 7-4.3.2-1993.
Edition:
Revision of ANSI/IEEE-ANS-7-4.3.2-1982.
Basis of Claim:
New Matter: additions & revisions.
Description:
39 p.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc.
Names:
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: 2nd International Conference on Visual Psychophysics and medical imaging, July 2-3, 1981, Brussels, Belgium

Formal verification of hardware design

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TX0003769884 / 1994-04-22
Date of Publication:
January 7, 1991
Date of Creation:
1991
Title:
Formal verification of hardware design / edited by Michael Yoeli.
Basis of Claim:
New Matter: compilation, some new text & index.
Imprint:
Los Alamitos, CA : IEEE Computer Society Press, c1990.
Description:
326 p.
Copyright Claimant:
the Institute of Electrical and Electronics Engineers, Inc. (employer for hire)
Names:
Michael Yoeli
Institute of Electrical and Electronics Engineers, Inc. (9597 documents)
example document: Integration of information systems
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.