Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
Abstract Some types of software systems, like event‐based and non‐deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules. However, when the fuzzy rules are used for the specification of non‐deterministic behaviour an...
| Váldodahkkit: | , |
|---|---|
| Materiálatiipa: | Artihkal |
| Giella: | English |
| Almmustuhtton: |
Wiley
2023-09-01
|
| Ráidu: | CAAI Transactions on Intelligence Technology |
| Fáttát: | |
| Liŋkkat: | https://doi.org/10.1049/cit2.12251 |