Including Running System Implementations in the Simulation of System of Systems Models. Lausdahl, K., 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
{"_id":"MXvBvN4BT7fLeZJN3","bibbaseid":"lausdahl-nielsen-kristensen-includingrunningsystemimplementationsinthesimulationofsystemofsystemsmodels-2014","downloads":0,"creationDate":"2016-04-27T22:53:11.176Z","title":"Including Running System Implementations in the Simulation of System of Systems Models","author_short":["Lausdahl, K.","Nielsen, C. B.","Kristensen, K."],"year":2014,"bibtype":"incollection","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"incollection","type":"incollection","key":"Lausdahl&14","title":"Including Running System Implementations in the Simulation of System of Systems Models","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Claus","Ballegård"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]},{"firstnames":["Klaus"],"propositions":[],"lastnames":["Kristensen"],"suffixes":[]}],"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":[{"firstnames":["Christiano"],"propositions":[],"lastnames":["Braga"],"suffixes":[]},{"firstnames":["Narciso"],"propositions":[],"lastnames":["Martí-Oliet"],"suffixes":[]}],"bibtex":"@incollection{Lausdahl&14,\n KEY = \"Lausdahl\\&14\",\n TITLE = \"Including Running System Implementations in the Simulation of System of Systems Models\",\n AUTHOR = \"Kenneth Lausdahl and Claus Balleg\\aa rd Nielsen and Klaus Kristensen\",\n booktitle\t\t= {Preproceedings of SBMF 2014 17th Brazilian Symposium on Formal Methods},\n PAGES = \"177--182\",\n YEAR = \"2014\",\n month\t\t\t= \"September\",\n publisher\t\t= {Universidade Federal de Alagoas (UFAL)},\n series\t\t= {CBSoft},\n number\t\t= \"17\",\n editor\t\t= {Christiano Braga and Narciso Mart\\'{i}-Oliet}}\n\n%G VDM OVERTURE\n","author_short":["Lausdahl, K.","Nielsen, C. B.","Kristensen, K."],"editor_short":["Braga, C.","Martí-Oliet, N."],"id":"Lausdahl&14","bibbaseid":"lausdahl-nielsen-kristensen-includingrunningsystemimplementationsinthesimulationofsystemofsystemsmodels-2014","role":"author","urls":{},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/"}}},"search_terms":["including","running","system","implementations","simulation","system","systems","models","lausdahl","nielsen","kristensen"],"keywords":[],"authorIDs":["NtxQ9SSTQrELYyARd"],"dataSources":["Xcji6y7twnJcmrCLT","maALzmZwmtEEh8pXx"]}