Proceedings of the 3rd 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

9728865228

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks

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

10.5220/0002574200490057 ◽

2005 ◽

Keyword(s):

Wireless Networks ◽

Ieee 802.15.4 ◽

Verification And Validation

Download Full-text

On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study

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

10.5220/0002560801150117 ◽

2005 ◽

Keyword(s):

Model Checking ◽

Exploratory Case Study ◽

Software Frameworks ◽

Agile Software

Download Full-text

An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case

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

10.5220/0002566600390048 ◽

2005 ◽

Keyword(s):

Manufacturing Industry ◽

Process Algebra ◽

Integration Scheme

Download Full-text

Petri-net modeling of production systems based on production management data

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

10.5220/0002563900290038 ◽

2005 ◽

Keyword(s):

Petri Net ◽

Production Management ◽

Production Systems

Download Full-text

Consistency Verification of a Non-monotonic Deductive System based on OWL Lite

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

10.5220/0002573400190028 ◽

2005 ◽

Keyword(s):

Deductive System ◽

Consistency Verification

Download Full-text

An Example of Business Process Simulation Using ARENA

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

10.5220/0002571201070112 ◽

2005 ◽

Keyword(s):

Business Process ◽

Process Simulation

Download Full-text

How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?

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

10.5220/0002573600830088 ◽

2005 ◽

Keyword(s):

Relational Database ◽

Database Transactions

Download Full-text

Towards Run-time Component Integration on Ubiquitous Systems

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

10.5220/0002576100090018 ◽

2005 ◽

Keyword(s):

Component Integration ◽

Ubiquitous Systems ◽

Time Component ◽

Run Time

Download Full-text

Model-checking Inherently Fair Linear-time Properties

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

10.5220/0002574300030008 ◽

2005 ◽

Keyword(s):

Model Checking ◽

Linear Time

Download Full-text

Expanding Database Systems into self–verifying Entities

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

10.5220/0002563000650070 ◽

2005 ◽

Keyword(s):

Database Systems

Download Full-text

Proceedings of the 3rd 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

Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks

On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study

An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case

Petri-net modeling of production systems based on production management data

Consistency Verification of a Non-monotonic Deductive System based on OWL Lite

An Example of Business Process Simulation Using ARENA

How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?

Towards Run-time Component Integration on Ubiquitous Systems

Model-checking Inherently Fair Linear-time Properties

Expanding Database Systems into self–verifying Entities

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