OVL Assertion-Checking of Embedded Software with Dense-Time Semantics.

Farn Wang Fang Yu

Published in: RTCSA (2003)

Keyphrases

embedded software
embedded systems
software architecture
development projects
sequence diagrams
formal semantics
logic programming
real time
high level
low level
autonomous agents