語系
Herdt, Vladimir.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
Herdt, Vladimir.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
Herdt, Vladimir.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Enhanced Virtual Prototyping = Featuring RISC-V Case Studies /
by:
Drechsler, Rolf.; SpringerLink (Online service); Herdt, Vladimir.; Große, Daniel.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Formal methods (Computer science)
Computer science—Mathematics.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Circuits and Systems.
Software engineering.
Electronic circuits.
Mathematics of Computing.
Computer Science.
Embedded computer systems.
Internet of things.
Cyber-physical systems, IoT.
Computer Hardware.
Computer hardware.
Computer software