Abstract: UML activity diagram is widely used to describe the behavior of the software system. Unfortunately, there is still no practical tool to verify the UML diagrams automatically. This paper ...
Abstract: Verification of real time embedded systems is becoming more and more complex in terms of maintaining the code size and keeping equivalence between the specification. It requires the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback