|
|
|
|
Sifakis, J. Tripakis, S. Yovine, S.
|
|
Pág. 100 - 111
|
|
|
|
|
|
Alur, R. Dang, T. Esposito, J. Hur, Y. Ivancic, F. Kumar, V. Lee, I. Mishra, P. Pappas, G. J. Sokolsky, O.
|
|
Pág. 11 - 28
|
|
|
|
|
|
Kopetz, H. Bauer, G.
|
|
Pág. 112 - 126
|
|
|
|
|
|
Eker, J. Janneck, J. W. Lee, E. A. Liu, J. Liu, X. Ludvig, J. Neuendorffer, S. Sachs, S. Xiong, Y.
|
|
Pág. 127 - 144
|
|
|
|
|
|
Karsai, G. Sztipanovits, J. Ledeczi, A. Bapty, T.
|
|
Pág. 145 - 164
|
|
|
|
|
|
Wolf, W. Kandemir, M.
|
|
Pág. 165 - 182
|
|
|
|
|
|
Gill, C. D. Cytron, R. K. Schmidt, D. C.
|
|
Pág. 183 - 197
|
|
|
|
|
|
Horowitz, B. Liebman, J. Ma, C. Koo, T. J. Sangiovanni-Vincentelli, A. Sastry, S. S.
|
|
Pág. 198 - 211
|
|
|
|
|
|
Williams, B. C. Ingham, M. D. Chung, S. H. Elliott, P. H.
|
|
Pág. 212 - 237
|
|
|
|
|
|
Blanken, I. J.
|
|
Pág. 238 - 239
|
|
|
|
|
|
Tiwari, A. Shankar, N. Rushby, J.
|
|
Pág. 29 - 39
|
|
|
|
|
|
Sastry, S. Sztipanovits, J. Bajcsy, R. Gill, H.
|
|
Pág. 3 - 10
|
|
|
|
|
|
Zhao, F. Bailey-Kellogg, C. Fromherz, M. P. J.
|
|
Pág. 40 - 63
|
|
|
|
|
|
Benveniste, A. Caspi, P. Edwards, S. A. Halbwachs, N. Le Guernic, P. De Simone, R.
|
|
Pág. 64 - 83
|
|
|
|
|
|
Henzinger, T. A. Horowitz, B. Kirsch, C. M.
|
|
Pág. 84 - 99
|
|