A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems (Record no. 72252)

MARC details
000 -LEADER
fixed length control field 01600naaaa2200277uu 4500
001 - CONTROL NUMBER
control field https://directory.doabooks.org/handle/20.500.12854/57021
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220220070500.0
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number KSP/1000038209
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783731501695
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.5445/KSP/1000038209
Terms of availability doi
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title English
042 ## - AUTHENTICATION CODE
Authentication code dc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Mendoza Cervantes, Francisco
Relationship auth
245 10 - TITLE STATEMENT
Title A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. KIT Scientific Publishing
Date of publication, distribution, etc. 2013
300 ## - PHYSICAL DESCRIPTION
Extent 1 electronic resource (X, 168 p. p.)
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open Access
Source of term star
Standardized terminology for access restriction Unrestricted online access
520 ## - SUMMARY, ETC.
Summary, etc. This work presents a virtual prototyping methodology for the design and verification of industrial devices in the field level of industrial automation systems. This work demonstrates that virtual prototypes can help increase the confidence in the correctness of a design thanks to a deeper understanding of the complex interactions between hardware, software, analog and mixed-signal components of embedded systems and the physical processes they interact with.
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative Commons
Use and reproduction rights https://creativecommons.org/licenses/by-sa/4.0/
Source of term cc
-- https://creativecommons.org/licenses/by-sa/4.0/
546 ## - LANGUAGE NOTE
Language note English
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Modeling and Simulation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term System Level Design
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term Virtual Prototyping
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://www.ksp.kit.edu/9783731501695">https://www.ksp.kit.edu/9783731501695</a>
Access status 0
Public note DOAB: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://directory.doabooks.org/handle/20.500.12854/57021">https://directory.doabooks.org/handle/20.500.12854/57021</a>
Access status 0
Public note DOAB: description of the publication

No items available.