A problem-oriented approach to normal design for safety-critical systems

Mannering, Derek; Hall, Jon G. and Rapanotti, Lucia (2007). A problem-oriented approach to normal design for safety-critical systems. In: European Joint Conferences on Theory and Practice of Software (ETAPS), 24 Mar - 1 Apr 2007, Braga, Portugal.

URL: http://www.di.uminho.pt/etaps07/

Viewing alternatives

Item Actions

Export

About

Recommendations