Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Muddassar Azam Sindhu

Formalizing a Use Case to a Kripke Structure

2015English

Related publications

Formalizing Interoperability for Test Case Generation Purpose

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2009English

Formalizing Agile Software Product Lines With a RE Metamodel

2018English

Formalizing Service Interactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Knowledge Translation to Enhance Evaluation Use: A Case Example

Foundation Review
SociologySocial SciencesPolitical Science
2019English

Atopic Dermatitis; To Use or Not to Use the Corticosteroids; Mother's Dilemma! A Case Report

Clinical and Translational Allergy
ImmunologyPulmonaryAllergyRespiratory Medicine
2015English

A Methodology to Benchmark Flexible Payload Architectures in a Megaconstellation Use Case

International Journal of Satellite Communications and Networking
Electronic EngineeringMedia TechnologyElectrical
2020English

Saul Kripke: Referenz Und Existenz

Zeitschrift für philosophische Literatur
2015English

Formalizing (Web) Standards

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Euglycemic Diabetic Ketoacidosis Secondary to Dapagliflozin Use: A Case Report

Journal of Emergency Medicine
Emergency Medicine
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy