Static Analysis Techniques to Verify Mutual Exclusion Situations Within SysML Models

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-38911-5_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

SysML Model-Driven Approach to Verify Blocks Compatibility

International Journal of Computer Aided Engineering and Technology
EngineeringComputer Science ApplicationsSoftware
2019English

Formal Analysis of Suzuki&Kasami Distributed Mutual Exclusion Algorithm

2002English

Mutual Exclusion in Cyber-Physical Systems

2012English

A Queue Based Mutual Exclusion Algorithm

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2008English

A SysML Profile for Fault Trees—Linking Safety Models to System Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Distributed Mutual Exclusion in Cooperating Mobile Agents

English

Safety Analysis of SysML Models in the Context of Model-Driven Engineering

English

Mutual-Exclusion Statistics in Exactly Solvable Models in One and Higher Dimensions at Low Temperatures

Physical Review B
1996English

A Simple Taxonomy for Distributed Mutual Exclusion Algorithms

Operating Systems Review (ACM)
HardwareComputer NetworksInformation SystemsArchitectureCommunications
1991English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy