Borrione, Dominique.
Overview
Works: | 0 works in 0 publications in 0 languages |
---|
Titles
Advances in design methods from modeling languages for embedded systems and SoC'sselected contributions on specification, design, and verification from FDL 2009 /
by:
Borrione, Dominique.; SpringerLink (Online service)
(Electronic resources)
Correct Hardware Design and Verification Methods :13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, Proceedings
by:
(1998 :); Borrione, Dominique.; Paul, Wolfgang; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Computer-Aided Engineering (CAD, CAE) and Design.
System design
Programming Languages, Compilers, Interpreters.
Circuits and Systems.
Embedded computer systems
Computer Science.
Computer Hardware.
Engineering.
Integrated circuits