Nicholas Christopher Lay

Learn More
This document outlines a proposal for the creation of a technique to enhance the development of real‐time embedded systems, enabling the production of reliable embedded software in a way that is economical for use in non‐safety‐critical systems. Existing development techniques rely heavily on formal analysis methods which are time (More)
  • 1