A Timed Csp Model for the Time-Triggered Language Giotto

AuthID
P-008-AAZ
5
Author(s)
Huang, YH
·
Zhao, YX
·
He, GH
·
3
Editor(es)
Jonathan P. Bowen; Huibiao Zhu; Mike Hinchey
Tipo de Documento
Proceedings Paper
Year published
2012
Publicado
in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012) in IEEE Annual IEEE Software Engineering Workshop, ISSN: 1550-6215
Páginas: 110-119 (10)
Conference
35Th Ieee Software Engineering Workshop (Sew), Date: OCT 12-13, 2012, Location: Heraklion, GREECE, Patrocinadores: IEEE, IEEE Comp Soc (CS)
Indexing
Publication Identifiers
DBLP: conf/sew/HuangZQHF12
SCOPUS: 2-s2.0-84876108607
Wos: WOS:000320453500012
Source Identifiers
ISSN: 1550-6215
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.