Sciweavers

8623 search results - page 40 / 1725
» Software engineering for secure systems
Sort
View
91
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
The Challenges of Building Advanced Mechatronic Systems
Wilhelm Schäfer, Heike Wehrheim
103
Voted
SIGSOFT
2003
ACM
16 years 3 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne