Publikation
Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.
@inproceedings{pub4457, author = { Codescu, Mihai and Langenstein, Bruno and Maeder, Christian and Mossakowski, Till }, editor = { Breitman, K. and Cavalcanti, A. }, title = {The VSE Refinement Method in HETS}, booktitle = {Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil}, series = {Lecture Notes in Computer Science (LNCS)}, year = {2009}, volume = {5885}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023