Syed Hussein Syed Alwi

  • Citations Per Year
Learn More
Embedded systems are usually composed of several components and in practice, these components generally have been independently verified to ensure that they respect their specifications before being integrated into a larger system. Therefore, we would like to exploit the specification (i.e. verified CTL properties) of the components in the objective of(More)
  • 1