Hybridity in Embedded Computing Systems

Yu Huiqun, Sun Yongqiang. Hybridity in Embedded Computing Systems[J]. Journal of Computer Science and Technology, 1996, 11(1): 90-96.

Citation:

Yu Huiqun, Sun Yongqiang. Hybridity in Embedded Computing Systems[J]. Journal of Computer Science and Technology, 1996, 11(1): 90-96.

Citation:

Yu Huiqun, Sun Yongqiang. Hybridity in Embedded Computing Systems[J]. Journal of Computer Science and Technology, 1996, 11(1): 90-96.

Abstract

An embedded system is a system that computer is used as a componelit ina larger device. In this paper, we study hybridity in embedded systems andpresent an interval based temporal logic to express and reason about hybridproperties of such ldnd of systems.

FullText(HTML)

Export File