Can Formal Methods Make Automotive Business Sense? – A Classification of Formal Methods
You are here
| Title | Can Formal Methods Make Automotive Business Sense? – A Classification of Formal Methods |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | McElligott P, Mjeda A, Thiel S |
| Conference Name | SAE 2008 World Congress, Safety-Critical Systems (SP-2173)SAE 2008 World Congress, Safety-Critical Systems (SP-2173) |
| Date Published | 2008 |
| Publisher | ISBN: 978-0-7680-2015-1 |
| Conference Location | Detroit, MI, USA, |
| URL | http://ulir.ul.ie/handle/10344/2335 |
