Automatic Flow Analysis for Event-B

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

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Statistical Language Analysis for Automatic Exfiltration Event Detection.

2010English

Modeling Control Flow of Event-B Using State Transition System

2017English

Decomposition Structures for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Automatic Refinement Checking for B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Automatic Small Chamfer Feature Recognition From B-Rep Models for Analysis

Revista de la Facultad de Ingenieria
EarthEngineeringPlanetary Sciences
2016English

MEDiator: A Tool for Automatic Management of Event Domains

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2006English

Flow Injection Analysis of Water. Part 2: Integrated System for Automatic Multideterrnination

Journal of Automatic Chemistry
1993English

UseCase-Wise Development: Retrenchment for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

SARI-SQL: Event Query Language for Event Analysis

2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy