Pages that link to "Item:Q2508786"

The following pages link to Systems specification by basic protocols (Q2508786):

Displaying 9 items.

• 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)
• 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)