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
; ; ;
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)
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.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar