Pages that link to "Item:Q2948229"

The following pages link to Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229):

Displaying 2 items.

• Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)