Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "Transformation of Lotos specifications to Estelle specifications."
@article{DBLP:journals/ijseke/El-GendyE05, author = {Hazem El{-}Gendy and Nabil El{-}Kadhi}, title = {Formal Method for Automated Transformation of Lotos Specifications to Estelle Specifications}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {15}, number = {5}, pages = {873--892}, year = {2005}, url = {https://doi.org/10.1142/S0218194005002567}, doi = {10.1142/S0218194005002567}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/El-GendyE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cata/El-GendyEF98, author = {Hazem El{-}Gendy and Hani El{-}Sayed and Abdel{-}Wahab Fayez}, editor = {Narayan C. Debnath}, title = {Transformation of estelle specifications to lotos specifications}, booktitle = {Computers and Their Applications (CATA-98), Proceedings of the {ISCA} 13th International Conference, Honolulu, Hawaii, USA, March 25-27, 1998}, pages = {82--84}, publisher = {{ISCA}}, year = {1998}, timestamp = {Mon, 09 Aug 2021 16:27:18 +0200}, biburl = {https://dblp.org/rec/conf/cata/El-GendyEF98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscc/El-GendyB97, author = {Hazem El{-}Gendy and Hoda Baraka}, title = {Transformation of Lotos specifications to Estelle specifications}, booktitle = {Proceedings of the Second {IEEE} Symposium on Computers and Communications {(ISCC} 1997), July 1-3, 1997, Alexandria, Egypt}, pages = {215--220}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/ISCC.1997.615999}, doi = {10.1109/ISCC.1997.615999}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iscc/El-GendyB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.