Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software Academic Article uri icon

publication date

  • January 1, 1995

start page

  • 301

end page

  • 309

volume

  • 38

issue

  • 4