|
СТ |
Enhancing Compositional Reachability Analysis with Context Constrains |
1993 |
Cheung S. C., Kramer J. |
|
|
|
Software Engineering Notes |
12.04.1994 |
|
СТ |
Checking Subsystem Safety Properties in Compositional Reachability Analysis |
1996 |
Cheung S. C., Kramer J. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
18.06.1996 |
|
СТ |
Verification of Liveness Properties Using Compositional Reachability Analysis |
1997 |
Cheung S. C., Giannakopoulou D., Kramer J. |
|
|
|
Lecture Notes in Computer Science |
07.10.1997 |
|
СТ |
Checking Safety Properties Using Compositional Reachability Analysis |
1999 |
Cheung S. C., Kramer J. |
|
|
|
ACM Trans. on Software Engineering and Methodology |
26.05.1999 |
|
СТ |
A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation |
2002 |
Cheung S. C., Hung P.C. K., Chiu D.K. W. |
|
|
|
Lecture Notes in Computer Science |
31.10.2002 |
