Amanote Research
Register
Sign In
Formalizing a Use Case to a Kripke Structure
doi 10.2316/p.2015.829-017
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
Qamar uz Zaman
Muddassar Azam Sindhu
Aamer Nadeem
Publisher
ACTAPRESS
Related search
Formalizing Interoperability for Test Case Generation Purpose
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Formalizing Agile Software Product Lines With a RE Metamodel
Formalizing Service Interactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Knowledge Translation to Enhance Evaluation Use: A Case Example
Foundation Review
Sociology
Social Sciences
Political Science
Atopic Dermatitis; To Use or Not to Use the Corticosteroids; Mother's Dilemma! A Case Report
Clinical and Translational Allergy
Immunology
Pulmonary
Allergy
Respiratory Medicine
A Methodology to Benchmark Flexible Payload Architectures in a Megaconstellation Use Case
International Journal of Satellite Communications and Networking
Electronic Engineering
Media Technology
Electrical
Saul Kripke: Referenz Und Existenz
Zeitschrift für philosophische Literatur
Formalizing (Web) Standards
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Euglycemic Diabetic Ketoacidosis Secondary to Dapagliflozin Use: A Case Report
Journal of Emergency Medicine
Emergency Medicine
