Languages
Herdt, Vladimir.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
Herdt, Vladimir.; SpringerLink (Online service)
(Language materials, printed)
Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs /
by:
Herdt, Vladimir.; SpringerLink (Online service)
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
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