Test-Linked Specification For Safety-Critical Software. Hecht, H. & Hecht, M. In HICSS (5), pages 267-272, 1997. IEEE Computer Society. ![Test-Linked Specification For Safety-Critical Software. [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link Paper bibtex @inproceedings{conf/hicss/HechtH97,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Hecht, Herbert and Hecht, Myron},
biburl = {https://www.bibsonomy.org/bibtex/2d6d3e204b158da4db9b07980ff561377/dblp},
booktitle = {HICSS (5)},
crossref = {conf/hicss/1997},
ee = {https://doi.ieeecomputersociety.org/10.1109/HICSS.1997.663183},
interhash = {df42e8f25ee03fa572b42f0a54a82e97},
intrahash = {d6d3e204b158da4db9b07980ff561377},
isbn = {0-8186-7734-1},
keywords = {dblp},
pages = {267-272},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T17:31:28.000+0200},
title = {Test-Linked Specification For Safety-Critical Software.},
url = {http://dblp.uni-trier.de/db/conf/hicss/hicss1997.html#HechtH97},
year = 1997
}
Downloads: 0
{"_id":"Snyo3L4aKZDQLwHyJ","bibbaseid":"hecht-hecht-testlinkedspecificationforsafetycriticalsoftware-1997","author_short":["Hecht, H.","Hecht, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-24T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Hecht"],"firstnames":["Herbert"],"suffixes":[]},{"propositions":[],"lastnames":["Hecht"],"firstnames":["Myron"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2d6d3e204b158da4db9b07980ff561377/dblp","booktitle":"HICSS (5)","crossref":"conf/hicss/1997","ee":"https://doi.ieeecomputersociety.org/10.1109/HICSS.1997.663183","interhash":"df42e8f25ee03fa572b42f0a54a82e97","intrahash":"d6d3e204b158da4db9b07980ff561377","isbn":"0-8186-7734-1","keywords":"dblp","pages":"267-272","publisher":"IEEE Computer Society","timestamp":"2024-04-10T17:31:28.000+0200","title":"Test-Linked Specification For Safety-Critical Software.","url":"http://dblp.uni-trier.de/db/conf/hicss/hicss1997.html#HechtH97","year":"1997","bibtex":"@inproceedings{conf/hicss/HechtH97,\n added-at = {2023-03-24T00:00:00.000+0100},\n author = {Hecht, Herbert and Hecht, Myron},\n biburl = {https://www.bibsonomy.org/bibtex/2d6d3e204b158da4db9b07980ff561377/dblp},\n booktitle = {HICSS (5)},\n crossref = {conf/hicss/1997},\n ee = {https://doi.ieeecomputersociety.org/10.1109/HICSS.1997.663183},\n interhash = {df42e8f25ee03fa572b42f0a54a82e97},\n intrahash = {d6d3e204b158da4db9b07980ff561377},\n isbn = {0-8186-7734-1},\n keywords = {dblp},\n pages = {267-272},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T17:31:28.000+0200},\n title = {Test-Linked Specification For Safety-Critical Software.},\n url = {http://dblp.uni-trier.de/db/conf/hicss/hicss1997.html#HechtH97},\n year = 1997\n}\n\n","author_short":["Hecht, H.","Hecht, M."],"key":"conf/hicss/HechtH97","id":"conf/hicss/HechtH97","bibbaseid":"hecht-hecht-testlinkedspecificationforsafetycriticalsoftware-1997","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/HICSS.1997.663183","Paper":"http://dblp.uni-trier.de/db/conf/hicss/hicss1997.html#HechtH97"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/hecht?items=1000","dataSources":["6szf49XAu4e2fDAXo"],"keywords":["dblp"],"search_terms":["test","linked","specification","safety","critical","software","hecht","hecht"],"title":"Test-Linked Specification For Safety-Critical Software.","year":1997}