Pages that link to "Item:Q2842581"

The following pages link to Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC. (Q2842581):

Displayed 1 item.

• Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) ‎ (← links)