{"_id":"AfKvpRe5E956MQvQc","bibbaseid":"khedri-bourguiba-formalderivationoffunctionalarchitecturaldesign-2004","downloads":0,"creationDate":"2016-02-02T16:45:04.434Z","title":"Formal Derivation of Functional Architectural Design","author_short":["Khedri, R.","Bourguiba, I."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.cas.mcmaster.ca/~khedri/wp-content/uploads/BIBLIOGRAPHY/cvbib.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Beijing, China","author":[{"firstnames":["Ridha"],"propositions":[],"lastnames":["Khedri"],"suffixes":[]},{"firstnames":["Imen"],"propositions":[],"lastnames":["Bourguiba"],"suffixes":[]}],"booktitle":"2nd IEEE International Conference on Software Engineering and Formal Methods","month":"September 26 – 30","pages":"356 – 365","publisher":"IEEE Computer Society Press","title":"Formal Derivation of Functional Architectural Design","year":"2004","bibtex":"@inproceedings{KhedriBourguiba2004b,\n\tAddress = {Beijing, China},\n\tAuthor = {Ridha Khedri and Imen Bourguiba},\n\tBooktitle = {2nd IEEE International Conference on Software Engineering and Formal Methods},\n\tMonth = {September 26 -- 30},\n\tPages = {356 -- 365},\n\tPublisher = {IEEE Computer Society Press},\n\tTitle = {Formal Derivation of Functional Architectural Design},\n\tYear = 2004}\n\n","author_short":["Khedri, R.","Bourguiba, I."],"key":"KhedriBourguiba2004b","id":"KhedriBourguiba2004b","bibbaseid":"khedri-bourguiba-formalderivationoffunctionalarchitecturaldesign-2004","role":"author","urls":{},"metadata":{"authorlinks":{"khedri, r":"http://www.cas.mcmaster.ca/khedri/"}},"downloads":0,"html":""},"search_terms":["formal","derivation","functional","architectural","design","khedri","bourguiba"],"keywords":[],"authorIDs":["fjFPj4EHaK6KNXhFi"],"dataSources":["R4pF6oKzFC7B5Dxhj"]}