15401 search results - page 122 / 3081 » Software in Automotive Systems |
107
Voted
LCTRTS
1999
Springer
15 years 6 months ago
1999
Springer
99
Voted
LCTRTS
2000
Springer
15 years 5 months ago
2000
Springer
99
Voted
COMPSAC
2010
IEEE
14 years 12 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
HIPEAC
2009
Springer
15 years 8 months ago
2009
Springer
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
