PN2Maude: An automatic tool to generate Maude specification for Petri net models.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 272, doi. 10.56415/csjm.v31.14
- By:
- Publication type:
- Article
Works matching IS 15614042 AND DT 2023 AND VI 31 AND IP 2
Results: 7
1
2
An approach to Augmented Reality Classification and an example of its usage for application development with VAK learning styles Markers.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 248, doi. 10.56415/csjm.v31.13
- By:
- Publication type:
- Article
3
Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 217, doi. 10.56415/csjm.v31.12
- By:
- Publication type:
- Article
4
Deep learning-based software for detecting population density of Antarctic birds.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 200, doi. 10.56415/csjm.v31.11
- By:
- Publication type:
- Article
5
Comprehensive Performance Study of Hashing Functions.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 183, doi. 10.56415/csjm.v31.10
- By:
- Publication type:
- Article
6
Total Italian domatic number of graphs.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 169, doi. 10.56415/csjm.v31.09
- By:
- Publication type:
- Article
7
Identifying key players in a network of child exploitation websites using Principal Component Analysis.
- Published in:
- Computer Science Journal of Moldova, 2023, v. 31, n. 2, p. 143, doi. 10.56415/csjm.v31.08
- By:
- Publication type:
- Article