Formal Models of SysML Block

Alvaro Heiji Miyazawa; Lucas Lima; Ana Lucia Caneca Cavalcanti

doi:10.1007/978-3-642-41202-8_17

Formal Models of SysML Block

Alvaro Heiji Miyazawa, Lucas Lima, Ana Lucia Caneca Cavalcanti

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	15th International Conference on Formal Engineering Methods
Publisher	Springer
Pages	249-264
Volume	8144 LNCS
DOIs	https://doi.org/10.1007/978-3-642-41202-8_17
Publication status	Published - 2013
Event	15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings - Queenstown, New Zealand Duration: 29 Oct 2013 → 1 Nov 2013

Conference

Conference	15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Country/Territory	New Zealand
City	Queenstown
Period	29/10/13 → 1/11/13

Access to Document

10.1007/978-3-642-41202-8_17

http://link.springer.com/chapter/10.1007%2F978-3-642-41202-8_17

Cite this

@inproceedings{e0e78b16a41745ca9b5562b0dbb11593,

title = "Formal Models of SysML Block",

author = "Miyazawa, {Alvaro Heiji} and Lucas Lima and Cavalcanti, {Ana Lucia Caneca}",

year = "2013",

doi = "10.1007/978-3-642-41202-8_17",

language = "English",

volume = "8144 LNCS",

pages = "249--264",

booktitle = "15th International Conference on Formal Engineering Methods",

publisher = "Springer",

address = "Germany",

note = "15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings ; Conference date: 29-10-2013 Through 01-11-2013",

}

Miyazawa, AH, Lima, L & Cavalcanti, ALC 2013, Formal Models of SysML Block. in 15th International Conference on Formal Engineering Methods. vol. 8144 LNCS, Springer, pp. 249-264, 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings, Queenstown, New Zealand, 29/10/13. https://doi.org/10.1007/978-3-642-41202-8_17

TY - GEN

T1 - Formal Models of SysML Block

AU - Miyazawa, Alvaro Heiji

AU - Lima, Lucas

AU - Cavalcanti, Ana Lucia Caneca

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-41202-8_17

DO - 10.1007/978-3-642-41202-8_17

M3 - Conference contribution

VL - 8144 LNCS

SP - 249

EP - 264

BT - 15th International Conference on Formal Engineering Methods

PB - Springer

T2 - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Y2 - 29 October 2013 through 1 November 2013

ER -