Languages
Bertacco, Valeria.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
Post-silicon and runtime verification for modern processors
by:
Bertacco, Valeria.; SpringerLink (Online service); Wagner, Ilya.
(Language materials, printed)
Functional design errors in digital circuits = diagnosis, correction and repair /
by:
Chang, Kai-hui.; SpringerLink (Online service); Bertacco, Valeria.; Markov, Igor L.
(Language materials, printed)
Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Legay, Axel.; SpringerLink (Online service); Bertacco, Valeria.
(Language materials, printed)
Subjects
Microprocessors
Software Engineering.
Integrated circuits
Artificial Intelligence (incl. Robotics)
Circuits and Systems.
Computer Communication Networks.
Digital integrated circuits
Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Logic Design.
Computer Hardware.
Computer Science.
Computer programs
Programming Languages, Compilers, Interpreters.
Software architecture
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.