PUBLICACIÓN

StateML∈+∈: From graphical state machine models to thread-safe Ada code

ACCEDER A LA PUBLICACIÓN: Scopus Orcid

2008 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


CITAS

6

DOI

10.1007/978-3-540-68624-8_12

EID

2-s2.0-45849142590

ISSN

0302-9743

EISSN

1611-3349

ISBN

3540686215,9783540686217

BIBTEX

@inbook{RID:0328171221375-15, title = {StateML(+): From graphical state machine models to thread-safe Ada code}, chapter = {}, pages = {158-170}, publisher = {}, year = {2008}, author = {Alonso, D. and Vicente-Chicote, C. and Pastor, J. A. and Alvarez, B.}, editor = {Kordon, F. and Vardanega, T.}, booktitle = {Reliable Software Technologies - Ada-Europe 2008}, series = {Lecture Notes in Computer Science}, volume = {5026} }


AUTORES DE LA UEX