TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 2 records were found in 0.047 seconds
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol
PSTV, 191-206, 1993
Automatic Translation of Time Petri Nets into Estelle Description
FORTE, 369-376, 1990