Searching for authors named "Xudong He" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
A Theory of Behaviour Observation in Software Testing
- …, Headington, Oxford, OX3 0BP, UK, Email: hzhu@(email omitted); Xudong He School of Computer Science, Florida…
- Cited by 6 (3 self) – Add To MetaCart
-
A Theory of Testing High Level Petri Nets
- …A Theory of Testing High Level Petri Nets Hong Zhu Xudong He School of Computing and Math…
- Cited by 2 (0 self) – Add To MetaCart
-
A Methodology for Constructing Predicate Transition Net Specifications
- … for Constructing Predicate Transition Net Specifications XUDONG HE Department of Computer Science, North Dakota…
- Cited by 6 (0 self) – Add To MetaCart
-
Formally analyzing software architectural specifications using SAM
- …Formally analyzing software architectural specifications using SAM Abstract Xudong He * , Huiqun…
- Cited by 1 (0 self) – Add To MetaCart
-
Modeling and Analyzing SMIL Documents in SAM
- …. Again, a more de- Huiqun Yu, Xudong He, Shu Gao, Yi Deng School of Computer Science Florida…
- Add To MetaCart
-
Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets
- …, Xudong He, Member, IEEE Computer Society, and Yi Deng, Member, IEEE Abstract—This paper presents…
- Cited by 4 (0 self) – Add To MetaCart
-
Modeling And Analyzing Security Protocols In Sam:
- …MODELING AND ANALYZING SECURITY PROTOCOLS IN SAM: A CASE STUDY Zhengfan Dai, Xudong He, Junhua…
- Add To MetaCart
-
Applying Aspect-Orientation in Designing Security Systems: A Case Study
- … Yu, Xudong He, Konstantin Beznosov i , Kendra Cooper ii School of Computer Science, Florida…
- Add To MetaCart
Showing 1 through 8.
