Conferences in DBLP
Xudong He A Framework for Ensuring System Dependability from Design to Implementation. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:- [Conf ] Allen Goldberg , Klaus Havelund Automated Runtime Verification with Eagle. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:- [Conf ] Thierry Nicola , Frank Nießner , Ulrich Ultes-Nitsche Model-checking Inherently Fair Linear-time Properties. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:3-8 [Conf ] Macario Polo Usaola , Andres Flores Towards Run-time Component Integration on Ubiquitous Systems. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:9-18 [Conf ] Jaime Ramírez , Angélica de Antonio Consistency Verification of a Non-monotonic Deductive System based on OWL Lite. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:19-28 [Conf ] Dejan Gradisar , Gasper Music Petri-net modeling of production systems based on production management data. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:29-38 [Conf ] Manuel I. Capel , Juan Antonio Holgado Terriza , Agustín Escámez An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:39-48 [Conf ] Paulo 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. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:49-57 [Conf ] Andres Flores , Macario Polo Towards Application Suitability for PvC Environments. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:58-62 [Conf ] Kåre J. Kristoffersen , Yvonne Dittrich Expanding Database Systems into self-verifying Entities. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:65-70 [Conf ] Wing Lok Yeung , Karl R. P. H. Leung Deriving Test Cases from B Machines Using Class Vectors. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:71-76 [Conf ] Dominik Jungo , David Buchmann , Ulrich Ultes-Nitsche A Unit Testing Framework for Network Configurations. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:77-82 [Conf ] Frédéric Gervais , Marc Frappier , Régine Laleau How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:83-88 [Conf ] Joshua J. Pauli , Dianxiang Xu Trade-off Analysis of Misuse Case-based Secure Software Architectures: A Case Study. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:89-95 [Conf ] Joselito Medina Marín , Xiaoou Li An Active Rule Base Simulator based on Petri Nets. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:96-101 [Conf ] Josko Dvornik , Srdan Dvornik , Eno Tireli Computing Simulation and Heuristic Optimization of the Marine Diesel Drive Generating. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:102-106 [Conf ] Joseph Barjis An Example of Business Process Simulation Using ARENA. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:107-112 [Conf ] Nan Niu , Steve M. Easterbrook On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:115-117 [Conf ] Juan Carlos Augusto Verification of Smart Homes Specifications which are based on ECA Rules. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:118-120 [Conf ] Josko Dvornik , Ante Munitic , Frane Mitrovic The Port-Transshipment System Dynamics Software Simulator. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:121-125 [Conf ] Syed M. Rahman , Akram Salah Teaching Software Testing in Introductory CS Courses and Improving Software Quality. [Citation Graph (0, 0)][DBLP ] MSVVEIS, 2005, pp:126-128 [Conf ]