{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:05:52Z","timestamp":1729645552025,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/iscc.2008.4625761","type":"proceedings-article","created":{"date-parts":[[2008,9,18]],"date-time":"2008-09-18T19:09:41Z","timestamp":1221764981000},"page":"643-648","source":"Crossref","is-referenced-by-count":1,"title":["Towards sound development of PIXITP, conformance test suites, and conforming implementations for various Formal Description Techniques"],"prefix":"10.1109","author":[{"given":"Hazem","family":"El-Gendy","sequence":"first","affiliation":[]},{"given":"Nabil","family":"El Kadhi","sequence":"additional","affiliation":[]},{"given":"Narayan","family":"Debnath","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/49.840201"},{"key":"14","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1049\/ip-com:20000661","article-title":"neural networks for the adaptive control of disruptive nonlinear network traffic","volume":"147","author":"greenwood","year":"2000","journal-title":"Communications IEE Proceedings-"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/jnca.2002.0143"},{"key":"12","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1016033610952","article-title":"transmission over a fixed wireless loop using adaptive rate techniques","volume":"9","author":"farahvash","year":"2002","journal-title":"International Journal of Wireless Information Networks"},{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.41328"},{"year":"0","key":"1"},{"year":"0","key":"10"},{"key":"7","article-title":"using formal methods: importance and experience","author":"el-gendy","year":"2005","journal-title":"J Comput Methods Sci Eng"},{"year":"2002","key":"6","article-title":"jtci, \"formal methods in conformance testing (working document)\""},{"year":"0","key":"5","article-title":"information retrieval, transfer and management for osi, osi conformance testing methodology and framework, parts 1 to 5. also, in ccitt recommendations x.290 to"},{"year":"0","key":"4"},{"key":"9","article-title":"formal automated transformation of lotos specifications into sdl specifications","author":"el-gendy","year":"2004","journal-title":"Proceedings of the 8th World Multi-conference on Systemics Cybernetics and Informatics sponsored by the International Institute of Informatics and Systemics (IIIS)"},{"key":"8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218194005002567","article-title":"formal method for automated transformation of lotos specifications to estelle specifications","volume":"15","author":"el-gendy","year":"2005","journal-title":"International Journal of Software Engineering and Knowledge Engineering"}],"event":{"name":"2008 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2008,7,6]]},"location":"Marrakech","end":{"date-parts":[[2008,7,9]]}},"container-title":["2008 IEEE Symposium on Computers and Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4607772\/4625572\/04625761.pdf?arnumber=4625761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T11:52:03Z","timestamp":1497786723000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4625761\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iscc.2008.4625761","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}