Standard
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. / Santos, Osmar Marchi dos; Woodcock, Jim; Paige, Richard F.
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. ed. / Isabelle Perseil; Karin Breitman; Roy Sterritt. IEEE Computer Society Press, 2011. p. 117-126.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Harvard
Santos, OMD, Woodcock, J & Paige, RF 2011,
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. in I Perseil, K Breitman & R Sterritt (eds),
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society Press, pp. 117-126.
https://doi.org/10.1109/ICECCS.2011.19
APA
Santos, O. M. D., Woodcock, J., & Paige, R. F. (2011).
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In I. Perseil, K. Breitman, & R. Sterritt (Eds.),
16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011 (pp. 117-126). IEEE Computer Society Press.
https://doi.org/10.1109/ICECCS.2011.19
Vancouver
Santos OMD, Woodcock J, Paige RF.
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. In Perseil I, Breitman K, Sterritt R, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society Press. 2011. p. 117-126
https://doi.org/10.1109/ICECCS.2011.19
Author
Santos, Osmar Marchi dos ; Woodcock, Jim ; Paige, Richard F. / Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. editor / Isabelle Perseil ; Karin Breitman ; Roy Sterritt. IEEE Computer Society Press, 2011. pp. 117-126
@inproceedings{45dd2f6f09c54ec899e752002ebba925,
title = "Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models",
author = "Santos, {Osmar Marchi dos} and Jim Woodcock and Paige, {Richard F.}",
note = "{\textcopyright} 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",
year = "2011",
doi = "10.1109/ICECCS.2011.19",
language = "Undefined/Unknown",
pages = "117--126",
editor = "Isabelle Perseil and Karin Breitman and Roy Sterritt",
booktitle = "16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011",
publisher = "IEEE Computer Society Press",
}
RIS (suitable for import to EndNote) - Download
TY - GEN
T1 - Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models
AU - Santos, Osmar Marchi dos
AU - Woodcock, Jim
AU - Paige, Richard F.
N1 - © 2011 IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
PY - 2011
Y1 - 2011
U2 - 10.1109/ICECCS.2011.19
DO - 10.1109/ICECCS.2011.19
M3 - Conference contribution
SP - 117
EP - 126
BT - 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011
A2 - Perseil, Isabelle
A2 - Breitman, Karin
A2 - Sterritt, Roy
PB - IEEE Computer Society Press
ER -
