A technique for checking the adequacy of formal model
In this paper, the question on the expediency of checking the model, the model checking method is applied to, is discussed. To this end, corresponding technique has been proposed. Named technique is based on differentiation between the concepts of analytical plane of model perception and the concept...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Asian Research Publishing Network
2021
|
| Online Access: | http://eprints.utem.edu.my/id/eprint/25734/2/JEAS_0821_8670.PDF http://eprints.utem.edu.my/id/eprint/25734/ http://www.arpnjournals.org/jeas/research_papers/rp_2021/jeas_0821_8670.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Teknikal Malaysia Melaka |
| Language: | English |