Verification of GSM-Based Artifact-Centric Systems Through Finite Abstraction

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-34321-6_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

2015English

Conjunctive Artifact-Centric Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An Artifact-Centric Business Process Execution Platform

2016English

Embedded Based Industrial Temperature Monitoring Systems Using GSM

International Journal of Computer Applications
2012English

Supervisory Control of Differentially Flat Systems Based on Abstraction

2011English

The Information Systems Artifact: A Conceptualization Based on General Systems Theory

2017English

VeriAbs: Verification by Abstraction and Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy