نتائج بحث المؤلف

1

Path-sensitive resource analysis compliant with assertions

Path-sensitive resource analysis compliant with assertions

بواسطة Chu, D.-H., Jaffar, J.
منشور في 2014

احصل على النص الكامل

Conference or Workshop Item

2

A complete method for symmetry reduction in safety verification

A complete method for symmetry reduction in safety verification

بواسطة Chu, D.-H., Jaffar, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item

3

Symbolic simulation on complicated loops for WCET path analysis

Symbolic simulation on complicated loops for WCET path analysis

بواسطة Chu, D.-H., Jaffar, J.
منشور في 2013

احصل على النص الكامل

Conference or Workshop Item