An Approach to Integrate Formal Validation in an OO Life-Cycle of Protocols

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35082-0_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

An Approach to Integrate Production-Transportation Planning and Scheduling in an Aluminium Supply Chain Network

International Journal of Production Research
IndustrialManufacturing EngineeringStrategyManagement ScienceManagementOperations Research
2011English

An Analysis of Variance Approach to Content Validation

Organizational Research Methods
Decision SciencesStrategyManagementManagement of TechnologyInnovation
1999English

Addressing the Life Cycle of Sewers in Contrasting Cities Through an Eco-Efficiency Approach

Journal of Industrial Ecology
EconomicsSocial SciencesEconometricsEnvironmental Science
2017English

An Assessment of Life-Cycle Funds

SSRN Electronic Journal
2008English

An Integrated Method to Calculate an Automobile's Emissions Throughout Its Life Cycle

Energy
ManagementMonitoringManufacturing EngineeringElectricalPolicyMechanical EngineeringEnergy EngineeringSustainabilityConstructionModelingLawBuildingElectronic EngineeringRenewable EnergyFuel TechnologyStructural EngineeringSimulationPower TechnologyPollutionIndustrialCivilEnergythe Environment
2015English

Using Braids to Introduce Groups: From an Informal to a Formal Approach

ICME-13 Monographs
2017English

The Conditioning Effect of Time on Firm Survival: An Industry Life Cycle Approach.

Academy of Management Journal
ManagementBusinessInternational ManagementStrategyInnovationAccountingManagement of Technology
2002English

An Ontology to Integrate Multiple Knowledge Domains of Training-Dietary-Competition in Weightlifting: A Nutritional Approach

ECTI Transactions on Computer and Information Technology
Electronic EngineeringInformation SystemsComputer NetworksCommunicationsManagementElectrical
2019English

Mobile Agent Life Cycle Demystified Using Formal Method

Transactions on Machine Learning and Artificial Intelligence
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy