Development Life-cycle of Critical Software Under FoCaL (bibtex)
by Philippe Ayrault, Thérèse Hardin, François Pessaux
Reference:
P. Ayrault, T. Hardin and F. Pessaux, "Development Life-cycle of Critical Software Under FoCaL", Electron. Notes Theor. Comput. Sci., vol. 243, jul 2009, pp. 15-31.
Bibtex Entry:
@article{Ayrault:2009:DLC:1618874.1619017,
 author = {Ayrault, Philippe and Hardin, Th{\'e}r\`{e}se and Pessaux, Fran\c{c}ois},
 title = {Development Life-cycle of Critical Software Under FoCaL},
 journal = {Electron. Notes Theor. Comput. Sci.},
 issue_date = {July, 2009},
 volume = {243},
 month = jul,
 year = {2009},
 issn = {1571-0661},
 pages = {15--31},
 numpages = {17},
 url = {http://dx.doi.org/10.1016/j.entcs.2009.07.003},
 doi = {10.1016/j.entcs.2009.07.003},
 acmid = {1619017},
 publisher = {Elsevier Science Publishers B. V.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {FoCaL, assessment, formal methods, software life-cycle},
}
Powered by bibtexbrowser