Search Result "specification formalisms"

General Research Article

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

Review Article

The Neurobiology of Formal Thought Disorder

Journal: Current Topics in Medicinal Chemistry
Volume: 24 Issue: 20 Year: 2024 Page: 1773-1783
Author(s):

General Review Article

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

General Research Article

A Comparative Study on Transformation of UML/OCL to Other Specifications

Journal: Recent Advances in Computer Science and Communications
Volume: 13 Issue: 2 Year: 2020 Page: 256-264
Author(s): Jagadeeswaran Thangaraj,Senthilkumaran Ulaganathan

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

Research Article

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

Research Article

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

The Role Formal and Informal Policies Play in Encouraging University Entrepreneurship

Journal: Technology Transfer and Entrepreneurship (Discontinued)
Volume: 1 Issue: 2 Year: 2014 Page: 92-103
Author(s): Laura Schultz

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

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

Previous   Next

Go To   Results 1 - 1 of 3365

Apply Filters

Volume Years
Article Type
Publication Title
Subject Title

Content Type


© 2024 Bentham Science Publishers | Privacy Policy