Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez
StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code
AdaEurope, 2008.
@inproceedings{AdaEurope-2008-AlonsoVPA,
author = "Diego Alonso and Cristina Vicente-Chicote and Juan A. Pastor and Bárbara Álvarez",
booktitle = "{Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies}",
doi = "10.1007/978-3-540-68624-8_12",
isbn = "978-3-540-68621-7",
pages = "158--170",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{StateML+s: From Graphical State Machine Models to Thread-Safe Ada Code}",
volume = 5026,
year = 2008,
}
Tags: