Pages that link to "Item:Q2508786"
From MaRDI portal
The following pages link to Systems specification by basic protocols (Q2508786):
Displaying 16 items.
- Verification of software requirements on program systems represented by attribute transition systems (Q557426) (← links)
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Genomic control of agent morphogenesis in a physically correct virtual environment (Q946738) (← links)
- An axiom system for sequence-based specification (Q1044834) (← links)
- Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) an (Q1275455) (← links)
- Response to ``The formal specification of safety requirements for storing explosives'' (Q1343867) (← links)
- Attributed transition systems with hidden transitions (Q1709456) (← links)
- Modern methods and software systems of molecular modeling and application of behavior algebra (Q2103753) (← links)
- Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (Q2263246) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- An automatic method for the dynamic construction of abstractions of states of a formal model (Q2452756) (← links)
- Predicate transformers in the context of symbolic modeling of transition systems (Q2452757) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)
- PSAMS: a communication protocol specification assessment and measurement system (Q4791035) (← links)
- A theory of requirements capture and its applications (Q5044751) (← links)
