Search Results

Search Results for: VDM-SL

Results: 0-2 of 2

Towards Pattern Detection of Proprotein Convertase Subtilisin/kexin type 9(PCSK9) Gene in Bioinformatics Big Data

Journal:NFC-IEER Journal of Engineering & Scientific Research, 2018, Volume 6, Issue No 2

Author(s): Tariq Ali, Sana Yasin

Keyword(s): Big Data, Formal Methods, Gene, VDM-SL, Verification & Validation, Human gene structures, Mapping

Algorithm and Formal Specification of Subnet-Based Communication in WSANs

Journal:Bahria University Journal of Information & Communication Technology, 2016, Volume 9, Special Issue

Author(s): Hamra Afzaal, Nazir Ahmad Zafar

Keyword(s): Formal Verification and Validation, Open Shortest Path First, Subnet-Based Communication, WSAN, VDM-SL

Results: 0-2 of 2

Category

Year

Journal

Close