Language: English

圖資館首頁

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Herdt, Vladimir.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Complete symbolic simulation of SystemC modelsefficient formal verification of finite non-terminating programs / by: Herdt, Vladimir.; SpringerLink (Online service) (Electronic resources)

Enhanced virtual prototypingfeaturing RISC-V case studies / by: Drechsler, Rolf.; Grosse, Daniel.; Herdt, Vladimir.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering/Programming and Operating Systems. Mathematics of Computing. Computer software Cyber-physical systems, IoT. Formal methods (Computer science) Circuits and Systems. Computer Science. Computer Hardware. Software prototyping.

Change password

Login