Talamo, M., Callia D'Iddio, A., Schunck, C., Arcieri, F. (2012). Real time scheduling verification with incomplete information. In American-Math'12/CEA'12: proceedings of the 6th WSEAS international conference on computer engineering and applications, and proceedings of the 2012 American conference on applied mathematics (pp.336-344). World Scientific and Engineering Academy and Society (WSEAS).
Real time scheduling verification with incomplete information
TALAMO, MAURIZIO;SCHUNCK, CRISTIAN;
2012-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
