Old Web
English
Sign In
Acemap
>
Paper
>
The Formal Analysis of Sequence Diagram by an Object-oriented Timed Transition System
The Formal Analysis of Sequence Diagram by an Object-oriented Timed Transition System
2011
Meixia Zhu
Hanpin Wang
Xikui Liu
Keywords:
Artificial intelligence
Computer science
Machine learning
Transition system
Sequence diagram
Timing diagram
Object-oriented programming
Programming language
Pattern recognition
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]