Languages
Sangiovanni-Vincentelli, Alberto.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Embedded systems development = from functional models to implementations /
by:
Sangiovanni-Vincentelli, Alberto.; SpringerLink (Online service)
(Electronic resources)
Embedded software = second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings /
by:
Sangiovanni-Vincentelli, Alberto.; Sifakis, Joseph.; SpringerLink (Online service); EMSOFT (Conference)
(Language materials, printed)
Hybrid systems = computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings /
by:
Di Benedetto, Maria Domenica.; Sangiovanni-Vincentelli, Alberto.; SpringerLink (Online service); HSCC 2001 ((2001 :)
(Language materials, printed)
Security-aware design for cyber-physical systems = a platform-based approach /
by:
Sangiovanni-Vincentelli, Alberto.; SpringerLink (Online service); Lin, Chung-Wei.
(Electronic resources)
Subjects
Electronics and Microelectronics, Instrumentation.
Embedded computer systems- Design and construction.
Processor Architectures.
Circuits and Systems.
Hybrid computers
Computer software- Development
Embedded computer systems- Programming
Engineering.
Cooperating objects (Computer systems)- Security measures.
Systems and Data Security.
Computer Communication Networks.