Pages that link to "Item:Q2573328"
From MaRDI portal
The following pages link to Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328):
Displaying 5 items.
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Modern methods and software systems of molecular modeling and application of behavior algebra (Q2103753) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- Verifying UCM specifications of distributed systems using colored Petri nets (Q2515336) (← links)
