Suchergebnisse - "004.415"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- 9
- 004.415 6
- UDC 004.415.2.045 (076.5) 6
- УДК 004.415.2.045 (076.5) 6
- UDC 004.424 4
- formal verification 4
- УДК 004.424 4
- формальна верифікація 4
- IPCL 3
- UDC 004.415 3
- UDC 004.415.52 3
- algorithm 3
- composition-nominative languages 3
- concurrent program 3
- data 3
- interleaving 3
- programming 3
- УДК 004.415 3
- УДК 004.415.52 3
- алгоритм 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- програмування 3
- формальная верификация 3
- Model-Driven Development 2
- Requirement Analysis 2
- Software Model Transformation 2
- UDC 004.415.2 2
- UDC 004.415.5 2
-
1
Development of integrated system of scientific periodicals based on the OJS
Veröffentlicht 2017Volltext
Artikel -
2
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Veröffentlicht 2025Volltext
Artikel -
3
-
4
Static method of consistency and completeness checking in formal model of distributed software systems
Veröffentlicht 2025Volltext
Artikel -
5
About one Approach for the Verification of Algebraic Computations
Veröffentlicht 2025Volltext
Artikel -
6
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
Veröffentlicht 2017Volltext
Artikel -
7
-
8
An approach to behavioral software models refinement using design patterns
Veröffentlicht 2025Volltext
Artikel -
9
DS-theory. Presentation of canonical algorithm by means of algorithmic language
Veröffentlicht 2017Volltext
Artikel -
10
-
11
-
12
On the possibility of a systematic study of the production management systems
Veröffentlicht 2018Volltext
Artikel -
13
Decision support system for quality management in study process
Veröffentlicht 2020Volltext
Artikel -
14
Efficient increasing of the mutation score during model-based test suite generation
Veröffentlicht 2020Volltext
Artikel -
15
-
16
DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
Veröffentlicht 2017Volltext
Artikel -
17
The architecture and functionality of the multi-agent system Navigation
Veröffentlicht 2018Volltext
Artikel -
18
-
19
-
20