The following pages link to (Q2722032):
Displaying 11 items.
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- The agent-object-relationship metamodel: Towards a unified view of state and behavior. (Q1400308) (← links)
- Modern methods and software systems of molecular modeling and application of behavior algebra (Q2103753) (← links)
- Insertion semantics of VHDL as electronic design languge (Q2103782) (← links)
- Modeling method for development of digital system algorithms based on programmable logic devices (Q2215843) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Predicate transformers in the context of symbolic modeling of transition systems (Q2452757) (← links)
- Agent model analysis to explore effects of interaction and environment on individual performance (Q2461327) (← links)
- An action environment (Q2499823) (← links)
- Agency Models With Frequent Actions (Q4614258) (← links)
- (Q4876646) (← links)