Pages that link to "Item:Q952760"

The following pages link to Model driven middleware: A new paradigm for developing distributed real-time and embedded systems (Q952760):

Displaying 2 items.

• Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
• A survey on standards for real-time distribution middleware (Q5176180) (← links)