Model Based Verification and Validation of Properties
G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Engels, GregorLibreCat;
Küster, Jochen;
Heckel, Reiko;
Lohmann, Marc
Department
Publishing Year
Proceedings Title
Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)
forms.conference.field.series_title_volume.label
Electronic Notes in Theoretical Computer Science
Volume
82
Issue
7
Page
1-18
LibreCat-ID
Cite this
Engels G, Küster J, Heckel R, Lohmann M. Model Based Verification and Validation of Properties. In: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland). Vol 82. Electronic Notes in Theoretical Computer Science. Elsevier; 2003:1-18. doi:dx.doi.org/10.1016/S1571-0661(04)80752-7
Engels, G., Küster, J., Heckel, R., & Lohmann, M. (2003). Model Based Verification and Validation of Properties. In Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland) (Vol. 82, pp. 1–18). Elsevier. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7
@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes in Theoretical Computer Science}, title={Model Based Verification and Validation of Properties}, volume={82}, DOI={dx.doi.org/10.1016/S1571-0661(04)80752-7}, number={7}, booktitle={Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18}, collection={Electronic Notes in Theoretical Computer Science} }
Engels, Gregor, Jochen Küster, Reiko Heckel, and Marc Lohmann. “Model Based Verification and Validation of Properties.” In Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), 82:1–18. Electronic Notes in Theoretical Computer Science. Elsevier, 2003. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7.
G. Engels, J. Küster, R. Heckel, and M. Lohmann, “Model Based Verification and Validation of Properties,” in Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), 2003, vol. 82, no. 7, pp. 1–18.
Engels, Gregor, et al. “Model Based Verification and Validation of Properties.” Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), vol. 82, no. 7, Elsevier, 2003, pp. 1–18, doi:dx.doi.org/10.1016/S1571-0661(04)80752-7.
Google Scholar