The following pages link to (Q2722032):
Displaying 6 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)
- 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)
