{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T10:24:50Z","timestamp":1760783090786,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/iscc.2008.4625760","type":"proceedings-article","created":{"date-parts":[[2008,9,18]],"date-time":"2008-09-18T19:09:41Z","timestamp":1221764981000},"page":"519-524","source":"Crossref","is-referenced-by-count":5,"title":["Formal automated transformation of SDL specifications to Lotos specifications"],"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":"19","article-title":"formal automated transformation of lotos specifications into sdl specifications","author":"el-gendy","year":"2004","journal-title":"Proceedings of the 8th World Multiconference on Systemics Cybernetics and Informatics sponsored by the International Institute of Informatics and Systemics (IIIS)"},{"key":"17","first-page":"82","article-title":"transformation of estelle specification into lotos specifications","author":"el-gendy","year":"1998","journal-title":"Proceedings of the 13th International Conference on Computers and Their Applications Sponsored by the International Society for Computer and Their Applications"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194005002567"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(90)90121-8"},{"key":"16","article-title":"translation from lotos and estelle specifications to extended transition system and its verification","volume":"89","author":"wu","year":"1989","journal-title":"Proceedings of IFIP Forte"},{"key":"13","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":"14","article-title":"using formal methods: importance and experience","author":"el-gendy","year":"2005","journal-title":"International Journal on Computing Methods in Science and Engineering"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016033610952"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/49.840201"},{"key":"21","article-title":"formal automated transformation of sdl specifications into estelle specifications","author":"el-gendy","year":"2008","journal-title":"Proceedings of 23rd International Conference on Computers & their Applications sponsored by International Society for Computers & Their Applications"},{"key":"3","first-page":"16","article-title":"an invitation to formal methods","author":"saiedian","year":"1996","journal-title":"IEEE Comp"},{"year":"0","key":"20"},{"year":"0","key":"2"},{"year":"1992","key":"1","article-title":"information processing systems - open systems interconnection - lotos - a formal description technique based on temporal ordering of observational behaviour"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1006\/jnca.2002.0143"},{"year":"0","key":"7"},{"year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(94)90002-7"},{"key":"4","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/ISCC.1997.615999","article-title":"transformation of lotos specifications to estelle-based specifications","author":"el-gendy","year":"1997","journal-title":"Proceedings of the International Symposium on Computers & Communications sponsored by both IEEE Communications Society and IEEE"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(94)00054-K"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.58319"}],"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\/04625760.pdf?arnumber=4625760","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T11:52:02Z","timestamp":1497786722000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4625760\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iscc.2008.4625760","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}