|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9726 occurrences of 4203 keywords
|
|
|
Results
Found 28136 publication records. Showing 28136 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Ivan Augé, Frédéric Pétrot, François Donnet, Pascal Gomez |
Platform-based design from parallel C specifications. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Mengmeng Ding, Glenn Wolfe, Ranga Vemuri |
An error-driven adaptive grid refinement algorithm for automatic generation of analog circuit performance macromodels. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Adriano Sarmento, Wander O. Cesário, Ahmed Amine Jerraya |
Automatic Building of Executable Models from Abstract SoC Architectures Made of Heterogeneous Subsystems. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Tomas Berling, Per Runeson |
Efficient Evaluation of Multifactor Dependent System Performance Using Fractional Factorial Design. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Fractional factorial design, performance evaluation, prototyping, performance of systems |
15 | Rajesh K. Gupta 0001, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi |
Formal verification - prove it or pitch it. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Farzan Fallah, Pranav Ashar, Srinivas Devadas |
Functional vector generation for sequential HDL models under an observability-based code coverage metric. |
IEEE Trans. Very Large Scale Integr. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Luc Segoufin, Victor Vianu |
Validating Streaming XML Documents. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
XML |
15 | Vittorio Cortellessa, Harshinder Singh, Bojan Cukic |
Early reliability assessment of UML based software models. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
bayesian reliability prediction, component based systems, UML models, reliability assessment |
15 | Ken Butts |
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Eric Conquet, Jean-Luc Marty |
Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
15 | K. H. (Kane) Kim, C. V. Ramamoorthy |
Failure-tolerant parallel programming and its supporting system architecture. |
AFIPS National Computer Conference |
1976 |
DBLP DOI BibTeX RDF |
|
14 | Guido de Caso |
Behavioural validation of software engineering artefacts. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
code understanding, contract conformance, behaviour models |
14 | Guido de Caso |
Behavioural validation of software engineering artefacts. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
code understanding, contract conformance, behaviour models |
14 | Alessandro Cimatti, Marco Roveri, Stefano Tonetta |
Requirements Validation for Hybrid Systems. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Michael Ryabtsev, Ofer Strichman |
Translation Validation: From Simulink to C. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jan-Paul Leuteritz, Harald Widlroither, Michael Klüh |
Multi-level Validation of the ISOmetrics Questionnaire Based on Qualitative and Quantitative Data Obtained from a Conventional Usability Test. |
HCI (1) |
2009 |
DBLP DOI BibTeX RDF |
ISOmetrics, AttrakDiff, small display devices, shower control, Validity, questionnaire |
14 | Elena Villalba, Dario Salvi, Ignacio Peinado, Manuel Ottaviano, María Teresa Arredondo |
Validation Results of the User Interaction in a Heart Failure Management System. |
eTELEMED |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Khalid Saleem, Zohra Bellahsene |
Complex Schema Match Discovery and Validation through Collaboration. |
OTM Conferences (1) |
2009 |
DBLP DOI BibTeX RDF |
Complex Schema Matching, Mini-taxonomies, Collaboration, Large scale, Tree Mining |
14 | Vicky G. Papadopoulou, Andreas Gregoriades |
Network Security Validation Using Game Theory. |
OTM Workshops |
2009 |
DBLP DOI BibTeX RDF |
Game Theory, Network Security, Non-functional requirements |
14 | Tibor Bosse, Charlotte Gerritsen, Michel C. A. Klein, Frank M. Weerman |
Development and Validation of an Agent-Based Simulation Model of Juvenile Delinquency. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandr Sukhorukov |
Architecture for Automated Validation of E-learning Courses. |
ICALT |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Tomoya Sakai 0002, Atsushi Imiya |
Validation of Watershed Regions by Scale-Space Statistics. |
SSVM |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Amar Kumar, Amiya Nayak, Alka Srivastava, Nita Goel |
Experimental validation of statistical algorithm for diagnosis of damage fault. |
CCECE |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham |
Assume-guarantee validation for STE properties within an SVA environment. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Mikio Ikoma, Masayuki Ooshima, Takahiro Tanida, Michiko Oba, Sanshiro Sakai |
Using a validation model to measure the agility of software development in a large software development organization. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Martin Dimitrov, Huiyang Zhou |
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
automated debugging, architectural support |
14 | Jorge Campos, Hussain Al-Asaad |
A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shigen Shen, Guangxue Yue |
Unified Certificate Validation System DNS-OCSP. |
ISECS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ricardo R. Jorge, Gerardo Reyes Salgado, Vianey Guadalupe Cruz Sánchez |
Verification and validation of a Neural-Symbolic Hybrid System using an enhanced Petri net. |
IEEE ICCI |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Franziska Klügl |
A validation methodology for agent-based simulations. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Michalis E. Zervakis, Michalis E. Blazadonakis, A. Banti, Dimitris Kafetzopoulos, Vasiliki Danilatou, Manolis Tsiknakis |
Performance validation of microarray analysis methods. |
BIBE |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Shimin Li, Ladan Tahvildari, Weining Liu, Mike Morrissey, Gary Cort |
Coping with Requirements Changes in Software Verification and Validation. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh 0002, P. Vignesh V. Ganesan |
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sylvain Hallé, Roger Villemaire |
XML Methods for Validation of Temporal Properties on Message Traces with Data. |
OTM Conferences (1) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ashit Gosalia, Xin (Shin) Zhang |
Automatic plan choice validation using performance statistics. |
DBTest |
2008 |
DBLP DOI BibTeX RDF |
performance statistics, optimizer, XML, data warehousing, performance test, query plan |
14 | Barbara Kump |
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning. |
AH |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
From Informal Requirements to Property-Driven Formal Validation. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Jari Nurmi, Manfred Glesner, Fernando Moraes 0001 |
Validation of executable application models mapped onto network-on-chip platforms. |
SIES |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
A Scenario-Based Validation Language for ASMs. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Téllez-Valero, Antonio Juárez-González, Manuel Montes-y-Gómez, Luis Villaseñor Pineda |
Analyzing the Use of Non-overlap Features for Supervised Answer Validation. |
CLEF |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Christine Jacquin, Laura Monceaux, Emmanuel Desmontils |
The Answer Validation System ProdicosAV Dedicated to French. |
CLEF |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Rui Wang 0005, Günter Neumann |
Information Synthesis for Answer Validation. |
CLEF |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Edward Verbree, Hang Si |
Validation and Storage of Polyhedra through Constrained Delaunay Tetrahedralization. |
GIScience |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Timothy W. Schoenharl, Gregory R. Madey |
Evaluation of Measurement Techniques for the Validation of Agent-Based Simulations Against Streaming Data. |
ICCS (3) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Miron Abramovic |
A Solution for On-Line TRUST Validation. |
HOST |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoli Bai, Xueshan Luo, Xiaohui Bai, Xianqing Yi, Honghui Chen, Deke Guo |
Study of DoD Architecture Simulation Validation based on UML and Extended Colored Petri Nets. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Masayuki Karasuyama, Ryohei Nakano |
Optimizing Sparse Kernel Ridge Regression hyperparameters based on leave-one-out cross-validation. |
IJCNN |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Emine Gokce Aydal, Mark Utting, Jim Woodcock 0001 |
A Comparison of State-Based Modelling Tools for Model Validation. |
TOOLS (46) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sascha Klement, Amir Madany Mamlouk, Thomas Martinetz |
Reliability of Cross-Validation for SVMs in High-Dimensional, Low Sample Size Scenarios. |
ICANN (1) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Noguera, Laurence Duchien |
Annotation Framework Validation Using Domain Models. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mark Sherriff, Laurie A. Williams |
Empirical Software Change Impact Analysis using Singular Value Decomposition. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Change Records, Singular Value Decomposition, Impact Analysis |
14 | Dimitris Gizopoulos, Robert C. Aitken, Sandip Kundu |
Guest Editorial: Special Section on "Autonomous Silicon Validation and Testing of Microprocessors and Microprocessor-Based Systems". |
IEEE Trans. Very Large Scale Integr. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Eray Gençay, Wolfgang Küchlin, Thorsten Schäfer |
SANchk: An SQL-Based Validation System for SAN Confiuration. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Andrew D. Gilliam, Scott T. Acton |
Echocardiographic Simulation for Validation of Automated Segmentation Methods. |
ICIP (5) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Collin Jackson, Daniel R. Simon, Desney S. Tan, Adam Barth |
An Evaluation of Extended Validation and Picture-in-Picture Phishing Attacks. |
Financial Cryptography |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Kai Huang, Sanjeev K. Srivastava, David A. Cartes |
Validation of agent based reconfiguration scheme using modeling and simulation approach. |
SCSC |
2007 |
DBLP BibTeX RDF |
simulation, modeling, multi agent system, reconfiguration, distributed intelligence |
14 | Ignasi Iriondo Sanz, Santiago Planet, Francesc Alías, Joan Claudi Socoró, Elisa Martínez Marroquín |
Validation of an Expressive Speech Corpus by Mapping Automatic Classification to Subjective Evaluation. |
IWANN |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro |
Qualification of behavioral level design validation for AMS & RF SoCs. |
VLSI-SoC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jesús M. Juarez Valero, Rui R. Paulo, Fernando J. Velez |
Event-Based Simulation for Multi-rate Multi-service Traffic Validation in B3G Systems. |
VTC Spring |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nuo Li, Maozhong Jin, Chao Liu 0002 |
Web Application Model Recovery for User Input Validation Testing. |
ICSEA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Yi Feng 0003, Zheng Zhou, Dong Tong 0001, Xu Cheng 0001 |
Clock domain crossing fault model and coverage metric for validation of SoC design. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Óscar R. Ribeiro, João M. Fernandes |
Validation of Reactive Software from Scenario-Based Models. |
QUATIC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | César Pichardo-Almarza, Rod H. Smallwood, S. A. Billings |
Spatiotemporal Analysis of an Agent-Based Model of a Colony of Keratinocytes: A First Approach for the Development of Validation Methods. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jung-Sing Jwo, Yu Chin Cheng |
Pseudo Software: a New Concept for Iterative Requirement Development and Validation. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Lorenz Froihofer, Johannes Osrael, Karl M. Göschka |
Decoupling Constraint Validation from Business Activities to Improve Dependability in Distributed Object Systems. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon, Grzegorz Polaków |
Cooperative Validation in Distributed Control Systems Design. |
CDVE |
2007 |
DBLP DOI BibTeX RDF |
knowledge ontology, web environment for collaborative working, multiple location collaborative design, multi-agent systems, Collaborative design, industrial applications |
14 | Giovanna Guerrini, Marco Mesiti, Matteo Alberto Sorrenti |
XML Schema Evolution: Incremental Validation and Efficient Document Adaptation. |
XSym |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Iuri Fanti, Mattia C. F. Prosperi, Giovanni Ulivi, Alessandro Micarelli |
HIV-1 Coreceptor Usage Prediction via Indexed Local Kernel Smoothing Methods and Grid-Based Multiple Statistical Validation. |
CBMS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Donald Glowinski, Antonio Camurri, Carlo Chiorri, Barbara Mazzarino, Gualtiero Volpe |
Validation of an Algorithm for Segmentation of Full-Body Movement Sequences by Perception: A Pilot Experiment. |
Gesture Workshop |
2007 |
DBLP DOI BibTeX RDF |
motion segmentation, motion feature, expressive gesture |
14 | Jihène Krichène, Mohamed Hamdi, Noureddine Boudriga |
Security policy validation using temporal executable specifications. |
SMC |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Graham C. Low, Ghassan Beydoun, Brian Henderson-Sellers, Cesar Gonzalez-Perez |
Towards Method Engineering for Multi-Agent Systems: A Validation of a Generic MAS Metamodel. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Rui Wang 0005, Günter Neumann |
Using Recognizing Textual Entailment as a Core Engine for Answer Validation. |
CLEF |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Michel Pignol |
Methodology and Tools Developed for Validation of COTS-based Fault-Tolerant Spacecraft Supercomputers. |
IOLTS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jianping Wu, Gang Ren 0003, Xing Li 0001 |
Source Address Validation: Architecture and Protocol Design. |
ICNP |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Hui-Chih Wang, Her-Sen Doong |
Validation in Internet Survey Research: Reviews and Future Suggestions. |
HICSS |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Masayuki Karasuyama, Ryohei Nakano |
Optimizing SVR Hyperparameters via Fast Cross-Validation using AOSVR. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
14 | F. Javier Sánchez Castro, Claudio Pollo, Reto Meuli, Philippe Maeder, Olivier Cuisenaire, Meritxell Bach Cuadra, Jean-Guy Villemure, Jean-Philippe Thiran |
A Cross Validation Study of Deep Brain Stimulation Targeting: From Experts to Atlas-Based, Segmentation-Based and Automatic Registration Algorithms. |
IEEE Trans. Medical Imaging |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Lixu Gu, Jianfeng Xu, Terry M. Peters |
Novel Multistage Three-Dimensional Medical Image Segmentation: Methodology and Validation. |
IEEE Trans. Inf. Technol. Biomed. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Kevin Y. Yip, Michael K. Ng 0001, David W. Cheung |
Input Validation for Semi-supervised Clustering. |
ICDM Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Nils Gruschka, Norbert Luttenberger |
Protecting Web Services from DoS Attacks by SOAP Message Validation. |
SEC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jennifer S. W. Campbell, Peter Savadjiev, Kaleem Siddiqi, G. Bruce Pike |
Validation and regularization in diffusion MRI tractography. |
ISBI |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Heon-Mo Koo, Prabhat Mishra 0001 |
Functional test generation using property decompositions for validation of pipelined processors. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Li Na Ren, Yun Zhang Pei, Yibo Zhang, Chun Ying |
Charging Validation for Third Party Value-Added Applications in Service Delivery Platform. |
NOMS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Murray Evans, James M. Ferryman |
Cross Validation and Segment Support for Stereo Belief Propagati. |
ICPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpalas, Octavia I. Camps |
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques. |
ICPR (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Senjian An, Wanquan Liu, Svetha Venkatesh |
Efficient Cross-validation of the Complete Two Stages in KFD Classifier Formulation. |
ICPR (3) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Hui Xiong 0001, Junjie Wu 0002, Jian Chen 0016 |
K-means clustering versus validation measures: a data distribution perspective. |
KDD |
2006 |
DBLP DOI BibTeX RDF |
coefficient of variation (CV), entropy, K-means clustering |
14 | Glenn Carl, Shashi Phoha, George Kesidis, Bharat B. Madan |
Path preserving scale down for validation of internet inter-domain routing protocols. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | John Michopoulos, Sam Lambrakos |
Underlying issues associated with validation and verification of dynamic data driven simulation. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Yvon Resplandy |
Use of a computer algebra software in the functional validation of continuous simulations. |
WSC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gabriela Jacques-Silva, Roberto Jung Drebes, Júlio Gerchman, Joana Matos Fonseca da Trindade, Taisy Silva Weber, Ingrid Jansch-Pôrto |
A Network-Level Distributed Fault Injector for Experimental Validation of Dependable Distributed Systems. |
COMPSAC (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Molina-Jiménez, Santosh K. Shrivastava |
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Zhiqiang Lin, Nai Xia, Guole Li, Bing Mao, Li Xie 0001 |
Transparent Run-Time Prevention of Format-String Attacks Via Dynamic Taint and Flexible Validation. |
ISC |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Masashi Sugiyama, Benjamin Blankertz, Matthias Krauledat, Guido Dornhege, Klaus-Robert Müller |
Importance-Weighted Cross-Validation for Covariate Shift. |
DAGM-Symposium |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Álvaro Rodrigo, Anselmo Peñas, Jesús Herrera, Felisa Verdejo |
The Effect of Entity Recognition on Answer Validation. |
CLEF |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Anselmo Peñas, Álvaro Rodrigo, Valentín Sama, Felisa Verdejo |
Overview of the Answer Validation Exercise 2006. |
CLEF |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Zornitsa Kozareva, Sonia Vázquez, Andrés Montoyo |
University of Alicante at QA@CLEF2006: Answer Validation Exercise. |
CLEF |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Rance Cleaveland, Scott A. Smolka, Steve Sims |
An Instrumentation-Based Approach to Controller Model Validation. |
ASWSD |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Jochen Malte Küster, Mohamed Abd-El-Razik |
Validation of Model Transformations - First Experiences Using a White Box Approach. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
Testing, Model transformations |
14 | Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß |
Report on the 3rd MoDeVa Workshop - Model Design and Validation. |
MoDELS (Workshops) |
2006 |
DBLP DOI BibTeX RDF |
|
|
|