Skip navigation.

Home
FAQ
Forums
Documents

User login

Username: *

Password: *

Create new account
Request new password

Navigation

Publications
Recent posts

Book navigation

FAQ

Toolset verification

Submitted by Tõnu Näks on Fri, 14/08/2009 - 12:31

What is the role of formal methods in the Gene-Auto project?

‹ Is it compliant with DO178-B qualification to have the same block on two libraries, one overriding the other? up What is the role of formal methods in the Gene-Auto project? ›

»

Secondary links

Contact

Copyright (C) 2009-2010 IB Krates