Actions

History

Wiki » History » Revision 19

« Previous | Revision 19/39 (diff) | Next »
Alexander Kamkin, 08/28/2014 06:29 AM

User Documentation¶

Ideas and Proof of Concept

Programmer Documentation¶

Code Style Guide
Logging
Project Structure
Used Tools

Scientific and Technical Papers¶

Retrascope-Related Publications

Internal Documentation¶

Control Flow Graph representation
GAA Meta-Model
CFG Extraction
EFSM Building
EFSM Traversal
Deadlock Analysis
Test sequences XML representation

Files (0)

Updated by Alexander Kamkin about 10 years ago · 39 revisions