Compositional Mining of Multiple Object API Protocols Through State Abstraction

The Scientific World Journal - Egypt
doi 10.1155/2013/171647
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Hindawi Limited

Related search

Abstraction Techniques for Compositional State-Based Scheduling Analysis

2012English

MeterPU: A Generic Measurement Abstraction API

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2016English

Compositional Analysis of Authentication Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A SystemC Register Model for Multiple Levels of Abstraction Using Advanced Object-Oriented Design Patterns

International Journal of Computer Theory and Engineering
2017English

Mining Hepatitis Data With Temporal Abstraction

2003English

Parameter-Free Probabilistic API Mining Across GitHub

2016English

A Compositional Logic for Proving Security Properties of Protocols*

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2003English

Analysis of the IBM CCA Security API Protocols in Maude-Npa

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Common Abstraction of Configuration From Multiple Sources

Acta Electrotechnica et Informatica
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy