Formal description and test cases generation of protocols based on input/output sequence (Q3406857)
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: Formal description and test cases generation of protocols based on input/output sequence |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal description and test cases generation of protocols based on input/output sequence |
scientific article |
Statements
Formal description and test cases generation of protocols based on input/output sequence (English)
0 references
20 February 2010
0 references
protocol test
0 references
formal description
0 references
RAISE specification language (RSL)
0 references