Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005 |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Joselito Medina Marín, Xiaoou Li |
An Active Rule Base Simulator based on Petri Nets. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Allen Goldberg, Klaus Havelund |
Automated Runtime Verification with Eagle. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Macario Polo Usaola, Andres Flores |
Towards Run-time Component Integration on Ubiquitous Systems. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Jaime Ramírez, Angélica de Antonio |
Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Frédéric Gervais, Marc Frappier, Régine Laleau |
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Nan Niu, Steve M. Easterbrook |
On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Wing Lok Yeung, Karl R. P. H. Leung |
Deriving Test Cases from B Machines Using Class Vectors. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Juan Carlos Augusto |
Verification of Smart Homes Specifications which are based on ECA Rules. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Syed M. Rahman, Akram Salah 0001 |
Teaching Software Testing in Introductory CS Courses and Improving Software Quality. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Josko Dvornik, Ante Munitic, Frane Mitrovic |
The Port-Transshipment System Dynamics Software Simulator. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Xudong He |
A Framework for Ensuring System Dependability from Design to Implementation. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Andres Flores, Macario Polo |
Towards Application Suitability for PvC Environments. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Joseph Barjis |
An Example of Business Process Simulation Using ARENA. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Dejan Gradisar, Gasper Music |
Petri-net modeling of production systems based on production management data. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Kåre J. Kristoffersen, Yvonne Dittrich |
Expanding Database Systems into self-verifying Entities. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Joshua J. Pauli, Dianxiang Xu |
Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Josko Dvornik, Srdan Dvornik, Eno Tireli |
Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche |
A Unit Testing Framework for Network Configurations. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Paulo Sérgio Sausen, Pedro Fernandes Ribeiro Neto, Angelo Perkusich, Antonio Marcus Nogueira de Lima, Maria Ligia B. Perkusich, Fabiano Salvadori |
Modelling, Verification and Validation of the IEEE 802.15.4 for Wireless Networks. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
1 | Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche |
Model-checking Inherently Fair Linear-time Properties. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|