Tactical Separation Assisted Flight Environment
DotGen
Overview [pdf]
Sample Input File [txt]
Sample output file - the computation diagram [jpg]
Sample output file - the information flow diagram [jpg]
The Java sources [zip]
![Sample output file - the computation diagram [jpg]](tsafe.jpg){kind=link}
![Sample output file - the information flow diagram [jpg]](tsafe_dual.jpg){kind=link}