Pages that link to "Item:Q2115918"

The following pages link to Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918):

Displaying 2 items.

• Technology mapping of multi-output functions leading to the reduction of dynamic power consumption in FPGAs (Q6093430) (← links)
• Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)