Searching for authors named "Xudong He" – sorted by Relevance.
-
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

