Static Analysis and Dynamic Steering of Time-Dependent Systems Using Time Petri Nets / E. VICARIO. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - STAMPA. - 27:(2001), pp. 728-748.
Static Analysis and Dynamic Steering of Time-Dependent Systems Using Time Petri Nets
VICARIO, ENRICO
2001
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.