Including Running System Implementations in the Simulation of System of Systems Models. Lausdahl, K., rd Nielsen, C. B., & Kristensen, K. In Braga, C. & Martí-Oliet, N., editors, Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods, of CBSoft, pages 177–182. Universidade Federal de Alagoas (UFAL), September, 2014.
bibtex   
@incollection{Lausdahl&14,
  KEY           = "Lausdahl\&14",
  TITLE         = "Including Running System Implementations in the Simulation of System of Systems Models",
  AUTHOR        = "Kenneth Lausdahl and Claus Balleg\aa rd Nielsen and Klaus Kristensen",
  booktitle		= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},
  PAGES         = "177--182",
  YEAR          = "2014",
  month			= "September",
  publisher		= {Universidade Federal de Alagoas (UFAL)},
  series		= {CBSoft},
  number		= "17",
  editor		= {Christiano Braga and Narciso Mart\'{i}-Oliet}}

%G VDM OVERTURE

Downloads: 0