Software Safety Architecture that can be Formally Verified Academic Article uri icon

publication date

  • January 1, 2004

start page

  • 66

end page

  • 68

volume

  • 4

issue

  • 1