Related content

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

By Angeletti Damiano   Giunchiglia Enrico   Narizzano Massimo   Puddu Alessandra   Sabina Salvatore  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 397-414

Springer Publishing Company

Access to resources Recommend Favorite

Software development: some critical views

By Clegg Chris W.   Waterson Patrick E.   Axtell Carolyn M.  

Behaviour and Information Technology, Vol. 16, Iss. 6, 1997-11 ,pp. : 359-362

Taylor & Francis Ltd

Access to resources Recommend Favorite

Licensing Reliable Embedded Software for Safety-Critical Applications: Special Anniversary Issue (Guest Editors: John A. Stankovic, Wolfgang Halang, Kim-Fung Man)

By Saglietti Francesca  

Real-Time Systems, Vol. 28, Iss. 2-3, 2004-11 ,pp. : 217-236

Springer Publishing Company

Access to resources Recommend Favorite

Case-Based Knowledge Management Tools for Software Development

By Henninger S.  

Automated Software Engineering, Vol. 4, Iss. 3, 1997-07 ,pp. : 319-340

Springer Publishing Company

Access to resources Recommend Favorite

Virtual reality surgical simulator software development tools

By Ruthenbeck G S   Reynolds K J  

Journal of Simulation, Vol. 7, Iss. 2, 2013-05 ,pp. : 101-108

Palgrave Macmillan Ltd

Access to resources Recommend Favorite