Improving and Assessing the Efficiency of the Mc4cslta Model Checker

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-40725-3_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

The JKind Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Improving Methodologies of Assessing the Efficiency of Agricultural Land Use

2020English

A Criteria Model for Assessing the Efficiency of the Production Management

Management Theory and Studies for Rural Business and Infrastructure Development
2018English

A Symbolic Model Checker for ACTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

A Markov Chain Model Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Improving the Efficiency of Distillation and Rectification Equipment

Scientific Works of National University of Food Technologies
2018English

Towards a Certified Petri Net Model-Checker

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Model for Assessing the Effectiveness of Professional Development for Improving Student Learning

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy