Weryfikacja modelowa (Q644726): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in en, pl, and other parts: Updating entity Weryfikacja modelowa with Lapacz) |
(Changed an Item: Updating statements of entity ["Weryfikacja modelowa" (pl)] with Lapacz) |
||
| (One intermediate revision by the same user not shown) | |||
| Property / Version | |||
| Property / Version: Vilgefortz / rank | |||
| Property / National Library Identifier | |||
a0000002887653 | |||
| Property / National Library Identifier: a0000002887653 / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika temporalna / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Weryfikacja oprogramowania / rank | |||
Normal rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
P38110T34241 | |||
| Property / Version: P38110T34241 / rank | |||
Normal rank | |||
Latest revision as of 17:49, 28 November 2023
No description defined
- Model checking
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weryfikacja modelowa |
No description defined |
|
Statements
a0000002887653
0 references
P38110T34241
0 references