The Clara Framework for Hybrid Typestate Analysis

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-010-0183-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States

2010English

A Hybrid Framework for Heart Disease Prediction: Review and Analysis

International Journal of Advanced Technology and Engineering Exploration
2016English

A DFA Framework for Hybrid Microsystems

English

Hybrid Test Automation Framework for Web Application

International Journal of Engineering Research and
2015English

KDM Security in the Hybrid Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Continuous Optimization Framework for Hybrid System Identification

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2011English

Hybrid Framework for Evaluating Video Object Tracking Algorithms

Electronics Letters
Electronic EngineeringElectrical
2010English

An Optimization Framework for Dynamic Hybrid Energy Systems

2014English

The Strength of Collusion: A Conceptual Framework for Interpreting Hybrid Social Orders

Current Sociology
SociologyPolitical Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy