- Publications
- Search
- Statistics
A Timed Csp Model for the Time-Triggered Language Giotto
AuthID
P-008-AAZ
P-008-AAZ
5
Author(s)
3
Editor(s)
Jonathan P. Bowen; Huibiao Zhu; Mike Hinchey
Document Type
Proceedings Paper
Year published
2012
Published
in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012) in IEEE Annual IEEE Software Engineering Workshop, ISSN: 1550-6215
Pages: 110-119 (10)
Conference
35Th Ieee Software Engineering Workshop (Sew), Date: OCT 12-13, 2012, Location: Heraklion, GREECE, Sponsors: IEEE, IEEE Comp Soc (CS)
Indexing
Publication Identifiers
DOI: 10.1109/sew.2012.18
Dblp: conf/sew/HuangZQHF12
Scopus: 2-s2.0-84876108607
Wos: WOS:000320453500012
Source Identifiers
ISSN: 1550-6215
Export Publication Metadata
Publication Export Settings
Marked List
Citations
Oops! It looks like you don't have access to this content.
This section is restricted to uses with b-on access.
CORE Conference
No information about CORE Rank
During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings' are automatically processed to identify their CORE Rank.
TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager to have the correct ranking manually added to the record.
Journal Factors
Oops! It looks like you don't have access to this content.
This section is restricted to uses with b-on access.
External Info