A case in point: verification and testing of a EULYNX interface (Q6610254)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A case in point: verification and testing of a EULYNX interface |
scientific article; zbMATH DE number 7918318
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A case in point: verification and testing of a EULYNX interface |
scientific article; zbMATH DE number 7918318 |
Statements
A case in point: verification and testing of a EULYNX interface (English)
0 references
25 September 2024
0 references
formal analysis
0 references
mCRL2
0 references
railway systems
0 references
SysML
0 references
test automation
0 references
