Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
et:publications_2015 [2016/03/18 15:27] Vadim |
et:publications_2015 [2016/03/18 15:29] Vadim |
||
---|---|---|---|
Rida 223: | Rida 223: | ||
<div class="publAuthors">D. Truscan · J. Vain · M. Koskinen · J. Iqbal</div> | <div class="publAuthors">D. Truscan · J. Vain · M. Koskinen · J. Iqbal</div> | ||
<div class="publTitle">A tool-supported approach for introducing aspects in UPPAAL timed automata</div> | <div class="publTitle">A tool-supported approach for introducing aspects in UPPAAL timed automata</div> | ||
- | <div class="publIn"><div>A. Holzinger, J. Cardoso, J. Cordeiro, T. Libourel,</div> | + | <div class="publIn"><div>A. Holzinger, J. Cardoso, J. Cordeiro, T. Libourel, L. A. Maciaszek,</div> |
- | <div>L. A. Maciaszek, M. van Sinderen editors, SOFTWARE TECHNOLOGIES,</div> | + | <div>M. van Sinderen editors, SOFTWARE TECHNOLOGIES,</div> |
- | <div>VOLUME 555 OF THE SERIESCOMMUNICATIONS IN COMPUTER</div> | + | <div>VOLUME 555 OF THE SERIES COMMUNICATIONS IN COMPUTER</div> |
<div>AND INFORMATION SCIENCE, p. 349−364</div> | <div>AND INFORMATION SCIENCE, p. 349−364</div> | ||
<div>Springer, Switzerland, 2015.</div></div> | <div>Springer, Switzerland, 2015.</div></div> | ||
Rida 233: | Rida 233: | ||
</div> | </div> | ||
</html> | </html> | ||
- | |||
- | <div classes #projects_head>PEATÜKID RAAMATUTES</div> | ||
- | |||
- | * Truscan D.; Vain J.; Koskinen M.; Iqbal J. (2015) A tool-supported approach for introducing aspects in UPPAAL timed automata. In: A.Holzinger, J.Cardoso, J.Cordeiro, T.Libourel, L.A.Maciaszek, M. van Sinderen editors, //Software Technologies, volume 555 of the series Communications in Computer and Information Science//, 349--364, Springer, Switzerland, 2015. http://doi.org/10.1007/978-3-319-25579-8_20 |