Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens

Tomohiko Takagi, Ryo Kurozumi. Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens. JRNAL, 8(2):112-116, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.