Formal Methods in System Design (Record no. 4361)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02500nas a22003375i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 1572-8102 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260610082532.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150723s||||||||xxuuu poo|||||| b|EN |d |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| International Standard Serial Number | 1572-8102 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/10703.1572-8102 |
| Source of number or code | doi |
| 210 10 - ABBREVIATED TITLE | |
| Abbreviated title | Form Methods Syst Des |
| 245 10 - TITLE STATEMENT | |
| Title | Formal Methods in System Design |
| Medium | [electronic resource] : |
| Remainder of title | An International Journal / |
| Statement of responsibility, etc. | edited by Nir Piterman. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | New York : |
| Name of producer, publisher, distributor, manufacturer | Springer US : |
| -- | Imprint: Springer. |
| 300 ## - online resource | |
| Other physical details | online resource. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods. The journal is an international forum for the dissemination of research related to the application and development of formal methods in both hardware (VLSI) and software system design. Papers describing original work in all aspects of formal methods as they relate to this general area are invited. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electronic circuits. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electrical engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer-aided engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software engineering. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electronic Circuits and Systems. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Electrical and Electronic Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer-Aided Engineering (CAD, CAE) and Design. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software Engineering. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Piterman, Nir. |
| Relator term | editor. |
| Relationship | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed version: |
| International Standard Serial Number | 0925-9856 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/10703.1572-8102">https://doi.org/10.1007/10703.1572-8102</a> |
| Public note | Hybrid |
No items available.