EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT
T Takagi, R Otake, S Matsumoto�- 2024 IEEE 48th Annual�…, 2024 - ieeexplore.ieee.org
T Takagi, R Otake, S Matsumoto
2024 IEEE 48th Annual Computers, Software, and Applications�…, 2024•ieeexplore.ieee.orgThis paper shows Extended Place/transition Net with Attributed Tokens Operational Profile
(EPNATOP) for verifying software designs from the viewpoint of the quality of use. It consists
of a weighted EPNAT model and actor state machines. Its structure and interpretation are
discussed with an example.
(EPNATOP) for verifying software designs from the viewpoint of the quality of use. It consists
of a weighted EPNAT model and actor state machines. Its structure and interpretation are
discussed with an example.
This paper shows Extended Place/transition Net with Attributed Tokens Operational Profile (EPNATOP) for verifying software designs from the viewpoint of the quality of use. It consists of a weighted EPNAT model and actor state machines. Its structure and interpretation are discussed with an example.
ieeexplore.ieee.org
Showing the best result for this search. See all results