Building Traceable Event-B Models from Requirements. Alkhammash, E., Fathabadi, A. S., Butler, M. J., & Cîrstea, C. ECEASST, 2013. Link Paper bibtex @article{journals/eceasst/AlkhammashFBC13,
added-at = {2018-12-12T00:00:00.000+0100},
author = {Alkhammash, Eman and Fathabadi, Asieh Salehi and Butler, Michael J. and Cîrstea, Corina},
biburl = {https://www.bibsonomy.org/bibtex/2433d9c8e6822e3e1697096127ec49a2a/dblp},
ee = {https://doi.org/10.14279/tuj.eceasst.66.894},
interhash = {5cb66164ce7b0bc2909f2ee4c39a88ea},
intrahash = {433d9c8e6822e3e1697096127ec49a2a},
journal = {ECEASST},
keywords = {dblp},
timestamp = {2018-12-13T11:38:31.000+0100},
title = {Building Traceable Event-B Models from Requirements.},
url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst66.html#AlkhammashFBC13},
volume = 66,
year = 2013
}
Downloads: 0
{"_id":"iR97L2pJFgXGJNMzc","bibbaseid":"alkhammash-fathabadi-butler-crstea-buildingtraceableeventbmodelsfromrequirements-2013","authorIDs":[],"author_short":["Alkhammash, E.","Fathabadi, A. S.","Butler, M. J.","Cîrstea, C."],"bibdata":{"bibtype":"article","type":"article","added-at":"2018-12-12T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Alkhammash"],"firstnames":["Eman"],"suffixes":[]},{"propositions":[],"lastnames":["Fathabadi"],"firstnames":["Asieh","Salehi"],"suffixes":[]},{"propositions":[],"lastnames":["Butler"],"firstnames":["Michael","J."],"suffixes":[]},{"propositions":[],"lastnames":["Cîrstea"],"firstnames":["Corina"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2433d9c8e6822e3e1697096127ec49a2a/dblp","ee":"https://doi.org/10.14279/tuj.eceasst.66.894","interhash":"5cb66164ce7b0bc2909f2ee4c39a88ea","intrahash":"433d9c8e6822e3e1697096127ec49a2a","journal":"ECEASST","keywords":"dblp","timestamp":"2018-12-13T11:38:31.000+0100","title":"Building Traceable Event-B Models from Requirements.","url":"http://dblp.uni-trier.de/db/journals/eceasst/eceasst66.html#AlkhammashFBC13","volume":"66","year":"2013","bibtex":"@article{journals/eceasst/AlkhammashFBC13,\n added-at = {2018-12-12T00:00:00.000+0100},\n author = {Alkhammash, Eman and Fathabadi, Asieh Salehi and Butler, Michael J. and Cîrstea, Corina},\n biburl = {https://www.bibsonomy.org/bibtex/2433d9c8e6822e3e1697096127ec49a2a/dblp},\n ee = {https://doi.org/10.14279/tuj.eceasst.66.894},\n interhash = {5cb66164ce7b0bc2909f2ee4c39a88ea},\n intrahash = {433d9c8e6822e3e1697096127ec49a2a},\n journal = {ECEASST},\n keywords = {dblp},\n timestamp = {2018-12-13T11:38:31.000+0100},\n title = {Building Traceable Event-B Models from Requirements.},\n url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst66.html#AlkhammashFBC13},\n volume = 66,\n year = 2013\n}\n\n","author_short":["Alkhammash, E.","Fathabadi, A. S.","Butler, M. J.","Cîrstea, C."],"key":"journals/eceasst/AlkhammashFBC13","id":"journals/eceasst/AlkhammashFBC13","bibbaseid":"alkhammash-fathabadi-butler-crstea-buildingtraceableeventbmodelsfromrequirements-2013","role":"author","urls":{"Link":"https://doi.org/10.14279/tuj.eceasst.66.894","Paper":"http://dblp.uni-trier.de/db/journals/eceasst/eceasst66.html#AlkhammashFBC13"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:17.958Z","downloads":0,"keywords":["dblp"],"search_terms":["building","traceable","event","models","requirements","alkhammash","fathabadi","butler","cîrstea"],"title":"Building Traceable Event-B Models from Requirements.","year":2013,"dataSources":["nk4Sfi2ddzBtdLpRN"]}