Search Result "Formal analysis"
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
The Neurobiology of Formal Thought Disorder
Journal: Current Topics in Medicinal Chemistry
Volume: 24 Issue: 20 Year: 2024 Page: 1773-1783
Author(s):
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
Comparison of QSARs and Characterization of Structural Basis of Bioactivity Using Partial Order Theory and Formal Concept Analysis: A Case Study with Mutagenicity
Journal: Current Computer-Aided Drug Design
Volume: 7 Issue: 2 Year: 2011 Page: 109-121
Author(s): Guillermo Restrepo, Subhash C. Basak, Denise Mills
Stereoselective Formal Synthesis of (-)-Salicylihalamides A and B Via Prins Cyclisation
Journal: Letters in Organic Chemistry
Volume: 7 Issue: 6 Year: 2010 Page: 457-460
Author(s): J.S. Yadav, N. Venkateswar Rao, P. Purushothama Rao, M. Sridhar Reddy, A.R. Prasad
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
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
Synthesis of Tetrahydropyridazine Amino Acid Derivatives by a Formal [4+2] Cycloaddition Reaction of 1,2-Diaza-1,3-dienes with Dehydroalanine Esters.
Journal: Current Organic Synthesis
Volume: 10 Issue: 5 Year: 2013 Page: 803-811
Author(s): Orazio A. Attanasi,Gianfranco Favi,Gianluca Giorgi,Fabio Mantellini,Giada Moscatelli,Giovanni Piersanti
Integrating Formal UML Designs and HCI Patterns with Spiral SDLC in DroLIGHT Implementation
Journal: Recent Patents on Computer Science
Volume: 6 Issue: 2 Year: 2013 Page: 85-98
Author(s): Zeeshan Ahmed,Charlotte Helfrich-Förster,Thomas Dandekar