Search Result "formal methods"
A Survey on Formal Verification of Separation Kernels
Journal: Recent Advances in Computer Science and Communications
Volume: 15 Issue: 6 Year: 2022 Page: 832-850
Author(s): Ram Chandra Bhushan,Dharmendra K. Yadav
Formal Analysis of the Real-time Multimedia Network Protocol ZRTP
Journal: Recent Advances in Electrical & Electronic Engineering
Volume: 8 Issue: 1 Year: 2015 Page: 12-17
Author(s): Siqi Lu,Wenbo Wang,Qingfeng Cheng
Formal Analysis of Negotiation Protocols for Task Allocation
Ebook: Negotiation and Argumentation in Multi-Agent Systems
Volume: 1 Year: 2014
Author(s): Victor Lesser,Jiaying Shen,Ingo Weber,Xiaoqin Shelley Zhang
Doi: 10.2174/9781608058242114010008
Formal Specification and Verification of Data Separation for Muen Separation Kernel
Journal: Recent Advances in Computer Science and Communications
Volume: 15 Issue: 2 Year: 2022 Page: 274-283
Author(s): Ram C. Bhushan,Dharmendra K. Yadav
Formalization and Semantic Integration of Heterogeneous Omics Annotations for Exploratory Searches
Journal: Current Bioinformatics
Volume: 16 Issue: 1 Year: 2021 Page: 162-178
Author(s): Omer Irshad,Muhammad U.G. Khan
A QoS Based Formal Model for Software Defined Network
Journal: International Journal of Sensors, Wireless Communications and Control
Volume: 10 Issue: 3 Year: 2020 Page: 395-401
Author(s): Vivek Srivastava,Ravi Shankar Pandey
Patient Variables Associated with the Assignment of a Formal Dementia Diagnosis to Positively Screened Primary Care Patients
Journal: Current Alzheimer Research
Volume: 15 Issue: 1 Year: 2018 Page: 44-50
Author(s): Tilly Eichler,Jochen Rene Thyrian,Johannes Hertel,Steffen Richter,Bernhard Michalowsky,Diana Wucherer,Adina Dreier,Ingo Kilimann,Stefan Teipel,Wolfgang Hoffmann
A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets
Journal: Recent Patents on Computer Science
Volume: 3 Issue: 1 Year: 2010 Page: 39-53
Author(s): Yacine Kissoum, Zaidi Sahnoun, Kamel Barkaoui
A New, Simple and Efficient Method for the Synthesis of 7-Azabicyclo[2.2.1]heptane Derivatives: Formal Total Synthesis of Epibatidine
Journal: Letters in Organic Chemistry
Volume: 3 Issue: 1 Year: 2006 Page: 827-830
Author(s): Elena Gomez-Sanchez, Jose Marco-Contelles
Current State of Application of Formal Thought DisorderScreening Methods in First-Degree Relatives of Patients WithSchizophrenia: A Narrative Review
Journal: Current Psychiatry Research and Reviews
Volume: 20 Issue: 2 Year: 2024 Page: 106-111
Author(s): Jes Sebastian Völker,Ioana Valentina MicluÈia