Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Scitepress - Science And And Technology Publications

9789728865498

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002503200160025 ◽

2006 ◽

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Systems ◽

Design Models ◽

Time Systems

Download Full-text

CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002463701280133 ◽

2006 ◽

Keyword(s):

Embedded System ◽

System Software

Download Full-text

Efficient Interpretation of Large Quantifications in a Process Algebra

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002500101890192 ◽

2006 ◽

Keyword(s):

Process Algebra

Download Full-text

Animated Simulation for Business Process Improvement

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002504801210127 ◽

2006 ◽

Keyword(s):

Process Improvement ◽

Business Process ◽

Business Process Improvement

Download Full-text

How Style Checking Can Improve Business Process Models

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002474200470056 ◽

2006 ◽

Keyword(s):

Business Process ◽

Process Models ◽

Business Process Models

Download Full-text

The Static Model of Latvian Forest Management Planning and Capital Value Estimation

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002471101850188 ◽

2006 ◽

Keyword(s):

Forest Management ◽

Static Model ◽

Management Planning ◽

Forest Management Planning ◽

Value Estimation ◽

Capital Value

Download Full-text

Modelling History-Dependent Business Processes

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002499500760085 ◽

2006 ◽

Keyword(s):

Business Processes

Download Full-text

How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002484201340146 ◽

2006 ◽

Keyword(s):

Formal Approach ◽

Property Specification

Download Full-text

Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship’s Synchronous Generator

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002471301570162 ◽

2006 ◽

Keyword(s):

Gas Turbine ◽

Synchronous Generator ◽

Simulation Modelling

Download Full-text

Design and Evaluation Criteria for Layered Architectures

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems ◽

10.5220/0002476001630172 ◽

2006 ◽

Keyword(s):

Evaluation Criteria ◽

Layered Architectures

Download Full-text

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Scitepress - Science And And Technology Publications

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models

CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code

Efficient Interpretation of Large Quantifications in a Process Algebra

Animated Simulation for Business Process Improvement

How Style Checking Can Improve Business Process Models

The Static Model of Latvian Forest Management Planning and Capital Value Estimation

Modelling History-Dependent Business Processes

How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence

Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship’s Synchronous Generator

Design and Evaluation Criteria for Layered Architectures

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Latest Publications