Semantic heterogeneity in the formal development of complex systems: An introduction

J. Paul Gibson; Idir Ait-Sadoune

doi:10.1007/978-3-662-45231-8_47

Semantic heterogeneity in the formal development of complex systems: An introduction

J. Paul Gibson
, Idir Ait-Sadoune

Écl. Sup. d'Élec.

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings
rédacteurs en chef	Tiziana Margaria, Tiziana Margaria, Bernhard Steffen
Editeur	Springer Verlag
Pages	570-572
Nombre de pages	3
ISBN (Electronique)	9783662452301
Les DOIs	https://doi.org/10.1007/978-3-662-45231-8_47
état	Publié - 1 janv. 2014
Evénement	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Grcce Durée: 8 oct. 2014 → 11 oct. 2014

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8803
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Pays/Territoire	Grcce
La ville	Imperial, Corfu
période	8/10/14 → 11/10/14

Accès au document

10.1007/978-3-662-45231-8_47

Contient cette citation

Gibson, J. P., & Ait-Sadoune, I. (2014). Semantic heterogeneity in the formal development of complex systems: An introduction. Dans T. Margaria, T. Margaria, & B. Steffen (eds.), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings (p. 570-572). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8803). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8_47

Gibson, J. Paul ; Ait-Sadoune, Idir. / Semantic heterogeneity in the formal development of complex systems : An introduction. Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Editeur / Tiziana Margaria ; Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2014. p. 570-572 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9381bbf8863c4ac59abdf20d36e1357d,

title = "Semantic heterogeneity in the formal development of complex systems: An introduction",

author = "Gibson, \{J. Paul\} and Idir Ait-Sadoune",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-662-45231-8\_47",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "570--572",

editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings",

note = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

}

Gibson, JP & Ait-Sadoune, I 2014, Semantic heterogeneity in the formal development of complex systems: An introduction. Dans T Margaria, T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 8803, Springer Verlag, p. 570-572, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Grcce, 8/10/14. https://doi.org/10.1007/978-3-662-45231-8_47

Semantic heterogeneity in the formal development of complex systems: An introduction. / Gibson, J. Paul; Ait-Sadoune, Idir.
Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Ed. / Tiziana Margaria; Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2014. p. 570-572 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8803).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Semantic heterogeneity in the formal development of complex systems

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

AU - Gibson, J. Paul

AU - Ait-Sadoune, Idir

PY - 2014/1/1

Y1 - 2014/1/1

U2 - 10.1007/978-3-662-45231-8_47

DO - 10.1007/978-3-662-45231-8_47

M3 - Conference contribution

AN - SCOPUS:84910659233

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

SP - 570

EP - 572

BT - Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

Y2 - 8 October 2014 through 11 October 2014

ER -

Gibson JP, Ait-Sadoune I. Semantic heterogeneity in the formal development of complex systems: An introduction. Dans Margaria T, Margaria T, Steffen B, rédacteurs en chef, Leveraging Applications of Formal Methods, Verification and Validation - SpecializedTechniques andApplications - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 570-572. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-45231-8_47