Stepwise Refinement of Control Software - A Case Study using RAISE. Erasmy, F. & Sekerinski, E. In Naftalin, M., Denvir, T., & Bertran, M., editors, FME'94: Industrial Benefit of Formal Methods, volume 873, of Lecture Notes in Computer Science, pages 547–566, Barcelona, Spain, October, 1994. Springer-Verlag. CitationKey: ErasmySekerinski94ControlRefinementdoi bibtex @inproceedings{erasmy_stepwise_1994,
address = {Barcelona, Spain},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Stepwise {Refinement} of {Control} {Software} - {A} {Case} {Study} using {RAISE}},
volume = {873},
doi = {10.1007/3-540-58555-9_115},
booktitle = {{FME}'94: {Industrial} {Benefit} of {Formal} {Methods}},
publisher = {Springer-Verlag},
author = {Erasmy, F. and Sekerinski, E.},
editor = {Naftalin, M. and Denvir, T. and Bertran, M.},
month = oct,
year = {1994},
note = {CitationKey: ErasmySekerinski94ControlRefinement},
pages = {547--566},
}
Downloads: 0
{"_id":"N47SMZmZzNW5Mx3BD","bibbaseid":"erasmy-sekerinski-stepwiserefinementofcontrolsoftwareacasestudyusingraise-1994","downloads":0,"creationDate":"2019-02-02T15:48:53.615Z","title":"Stepwise Refinement of Control Software - A Case Study using RAISE","author_short":["Erasmy, F.","Sekerinski, E."],"year":1994,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Barcelona, Spain","series":"Lecture Notes in Computer Science","title":"Stepwise Refinement of Control Software - A Case Study using RAISE","volume":"873","doi":"10.1007/3-540-58555-9_115","booktitle":"FME'94: Industrial Benefit of Formal Methods","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Erasmy"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Naftalin"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Denvir"],"firstnames":["T."],"suffixes":[]},{"propositions":[],"lastnames":["Bertran"],"firstnames":["M."],"suffixes":[]}],"month":"October","year":"1994","note":"CitationKey: ErasmySekerinski94ControlRefinement","pages":"547–566","bibtex":"@inproceedings{erasmy_stepwise_1994,\n\taddress = {Barcelona, Spain},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Stepwise {Refinement} of {Control} {Software} - {A} {Case} {Study} using {RAISE}},\n\tvolume = {873},\n\tdoi = {10.1007/3-540-58555-9_115},\n\tbooktitle = {{FME}'94: {Industrial} {Benefit} of {Formal} {Methods}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Erasmy, F. and Sekerinski, E.},\n\teditor = {Naftalin, M. and Denvir, T. and Bertran, M.},\n\tmonth = oct,\n\tyear = {1994},\n\tnote = {CitationKey: ErasmySekerinski94ControlRefinement},\n\tpages = {547--566},\n}\n\n","author_short":["Erasmy, F.","Sekerinski, E."],"editor_short":["Naftalin, M.","Denvir, T.","Bertran, M."],"key":"erasmy_stepwise_1994","id":"erasmy_stepwise_1994","bibbaseid":"erasmy-sekerinski-stepwiserefinementofcontrolsoftwareacasestudyusingraise-1994","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["stepwise","refinement","control","software","case","study","using","raise","erasmy","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}