Verification and Validation of Formal Data-Centric Business Models.
- Published in:
- Scientific Annals of Computer Science, 2015, v. 25, n. 2, p. 317, doi. 10.7561/SACS.2015.2.317
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2015 AND VI 25 AND IP 2
Results: 4
1
2
The Consistency and Complexity of Multiplicative Additive System Virtual.
- Published in:
- Scientific Annals of Computer Science, 2015, v. 25, n. 2, p. 245, doi. 10.7561/SACS.2015.2.245
- By:
- Publication type:
- Article
3
Probabilistic Thread Algebra.
- Published in:
- Scientific Annals of Computer Science, 2015, v. 25, n. 2, p. 211, doi. 10.7561/SACS.2015.2.211
- By:
- Publication type:
- Article
4
Formations of Monoids, Congruences, and Formal Languages.
- Published in:
- Scientific Annals of Computer Science, 2015, v. 25, n. 2, p. 171, doi. 10.7561/SACS.2015.2.171
- By:
- Publication type:
- Article