Meta-Models Combination for Reusing Verification Techniques

doi 10.5220/0007261000370048
Full Text
Abstract

Available in full text

Date
Authors
Publisher

SCITEPRESS - Science and Technology Publications

Related search

Reusing Formal Models

English

Scientific Workflow for Reusing Plant/FSPM Models

2011English

Verification Techniques for LOTOS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verification Methodology for DEVS Models

English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Reusing Platform-Specific Models in Model-Driven Architecture for Software Product Lines

2018English

Constructing Property-Oriented Models for Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy