Formal verification and complexity analysis of confidentiality aware textual clinical documents framework. Kanwal, T., Moqurrab, S. A., Anjum, A., Khan, A., Rodrigues, J. J. P. C., & Jeon, G. Int. J. Intell. Syst., 37(12):10380-10399, 12, 2022.
Link
Paper bibtex @article{journals/ijis/KanwalMAKRJ22,
added-at = {2023-02-25T00:00:00.000+0100},
author = {Kanwal, Tehsin and Moqurrab, Syed Atif and Anjum, Adeel and Khan, Abid and Rodrigues, Joel J. P. C. and Jeon, Gwanggil},
biburl = {https://www.bibsonomy.org/bibtex/27acfc8116ee600973b9632fb83398caf/dblp},
ee = {https://doi.org/10.1002/int.22533},
interhash = {ec59e0db7ef3b376c9e29d63d280becf},
intrahash = {7acfc8116ee600973b9632fb83398caf},
journal = {Int. J. Intell. Syst.},
keywords = {dblp},
month = {12},
number = 12,
pages = {10380-10399},
timestamp = {2024-04-08T12:37:11.000+0200},
title = {Formal verification and complexity analysis of confidentiality aware textual clinical documents framework.},
url = {http://dblp.uni-trier.de/db/journals/ijis/ijis37.html#KanwalMAKRJ22},
volume = 37,
year = 2022
}
Downloads: 0
{"_id":"fcPNnXwmfrP5ahRB9","bibbaseid":"kanwal-moqurrab-anjum-khan-rodrigues-jeon-formalverificationandcomplexityanalysisofconfidentialityawaretextualclinicaldocumentsframework-2022","author_short":["Kanwal, T.","Moqurrab, S. A.","Anjum, A.","Khan, A.","Rodrigues, J. J. P. C.","Jeon, G."],"bibdata":{"bibtype":"article","type":"article","added-at":"2023-02-25T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Kanwal"],"firstnames":["Tehsin"],"suffixes":[]},{"propositions":[],"lastnames":["Moqurrab"],"firstnames":["Syed","Atif"],"suffixes":[]},{"propositions":[],"lastnames":["Anjum"],"firstnames":["Adeel"],"suffixes":[]},{"propositions":[],"lastnames":["Khan"],"firstnames":["Abid"],"suffixes":[]},{"propositions":[],"lastnames":["Rodrigues"],"firstnames":["Joel","J.","P.","C."],"suffixes":[]},{"propositions":[],"lastnames":["Jeon"],"firstnames":["Gwanggil"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/27acfc8116ee600973b9632fb83398caf/dblp","ee":"https://doi.org/10.1002/int.22533","interhash":"ec59e0db7ef3b376c9e29d63d280becf","intrahash":"7acfc8116ee600973b9632fb83398caf","journal":"Int. J. Intell. Syst.","keywords":"dblp","month":"12","number":"12","pages":"10380-10399","timestamp":"2024-04-08T12:37:11.000+0200","title":"Formal verification and complexity analysis of confidentiality aware textual clinical documents framework.","url":"http://dblp.uni-trier.de/db/journals/ijis/ijis37.html#KanwalMAKRJ22","volume":"37","year":"2022","bibtex":"@article{journals/ijis/KanwalMAKRJ22,\n added-at = {2023-02-25T00:00:00.000+0100},\n author = {Kanwal, Tehsin and Moqurrab, Syed Atif and Anjum, Adeel and Khan, Abid and Rodrigues, Joel J. P. C. and Jeon, Gwanggil},\n biburl = {https://www.bibsonomy.org/bibtex/27acfc8116ee600973b9632fb83398caf/dblp},\n ee = {https://doi.org/10.1002/int.22533},\n interhash = {ec59e0db7ef3b376c9e29d63d280becf},\n intrahash = {7acfc8116ee600973b9632fb83398caf},\n journal = {Int. J. Intell. Syst.},\n keywords = {dblp},\n month = {12},\n number = 12,\n pages = {10380-10399},\n timestamp = {2024-04-08T12:37:11.000+0200},\n title = {Formal verification and complexity analysis of confidentiality aware textual clinical documents framework.},\n url = {http://dblp.uni-trier.de/db/journals/ijis/ijis37.html#KanwalMAKRJ22},\n volume = 37,\n year = 2022\n}\n\n","author_short":["Kanwal, T.","Moqurrab, S. A.","Anjum, A.","Khan, A.","Rodrigues, J. J. P. C.","Jeon, G."],"key":"journals/ijis/KanwalMAKRJ22","id":"journals/ijis/KanwalMAKRJ22","bibbaseid":"kanwal-moqurrab-anjum-khan-rodrigues-jeon-formalverificationandcomplexityanalysisofconfidentialityawaretextualclinicaldocumentsframework-2022","role":"author","urls":{"Link":"https://doi.org/10.1002/int.22533","Paper":"http://dblp.uni-trier.de/db/journals/ijis/ijis37.html#KanwalMAKRJ22"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Anjum?items=1000","dataSources":["ci4GgZZ4FdwT8smfY"],"keywords":["dblp"],"search_terms":["formal","verification","complexity","analysis","confidentiality","aware","textual","clinical","documents","framework","kanwal","moqurrab","anjum","khan","rodrigues","jeon"],"title":"Formal verification and complexity analysis of confidentiality aware textual clinical documents framework.","year":2022}