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

Literals

fabio:hasPublicationYear
- 2008
bibo:page_range
- 158-170
ou:eid
- 2-s2.0-45849142590
ou: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} }
dcterms:creator
- Alonso D.
bibo:eissn
- 1611-3349
bibo:issn
- 0302-9743
vivo:identifier
- 2008-249
bibo:isbn
- 3540686215,9783540686217
dcterms:contributor
- Alonso D.
bibo:doi
- 10.1007/978-3-540-68624-8_12
dcterms:publisher
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ou:tipoPublicacion
- Conference Paper
dcterms:title
- StateML∈+∈: From graphical state machine models to thread-safe Ada code
vcard:url
- https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=45849142590&origin=inward
ou:urlOrcid
- http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=ISI&KeyUT=WOS:000257062000012&KeyUID=WOS:000257062000012
ou:urlScopus
- https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=45849142590&origin=inward
ou:vecesCitado
- 6
bibo:volume
- 5026 LNCS