scholarly journals Verified trustworthy software systems

Author(s):  
Philippa Gardner
Computer ◽  
2006 ◽  
Vol 39 (4) ◽  
pp. 91-92 ◽  
Author(s):  
W. Hasselbring ◽  
R. Reussner

2006 ◽  
Vol 31 (6) ◽  
pp. 1-18 ◽  
Author(s):  
Steffen Becker ◽  
Wilhelm Hasselbring ◽  
Alexandra Paul ◽  
Marko Boskovic ◽  
Heiko Koziolek ◽  
...  

IEEE Software ◽  
2011 ◽  
Vol 28 (6) ◽  
pp. 86-92 ◽  
Author(s):  
J. B. Michael ◽  
D. Drusinsky ◽  
T. W. Otani ◽  
Man-Tak Shing

2014 ◽  
Vol 89 ◽  
pp. 1-2
Author(s):  
Xiaoying Bai ◽  
Atilla Elci ◽  
Mohammad Zulkernine

Author(s):  
Nary Subramanian ◽  
Steven Drager ◽  
William McKeever

Sign in / Sign up

Export Citation Format

Share Document