|
|
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 |
14 | Peter Kazanzides, Jenghwa Chang, Iulian Iordachita, Jack Li, C. Clifton Ling, Gabor Fichtinger |
Design and Validation of an Image-Guided Robot for Small Animal Research. |
MICCAI (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Gavin C. Cawley |
Leave-One-Out Cross-Validation Based Model Selection Criteria for Weighted LS-SVMs. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Susmita Datta, Somnath Datta |
Validation Measures for Clustering Algorithms Incorporating Biological Information. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sobah Abbas Petersen, Frank M. Lillehagen, Maria Anastasiou |
Modelling and Visualisation for Interoperability Requirements Elicitation and Validation. |
ICEIS (Selected Papers) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Meritxell Bach Cuadra, Leila Cammoun, Torsten Butz, Olivier Cuisenaire, Jean-Philippe Thiran |
Comparison and validation of tissue modelization and statistical classification methods in T1-weighted MR brain images. |
IEEE Trans. Medical Imaging |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Steffen Oeltze, Bernhard Preim |
Visualization of vasculature with convolution surfaces: method, validation and evaluation. |
IEEE Trans. Medical Imaging |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Mike Jochen, Anteneh Addis Anteneh, Lori L. Pollock, Lisa M. Marvel |
Enabling control over adaptive program transformation for dynamically evolving mobile software validation. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
dynamic and adaptive program transformation, integrity, program analysis, computer security, mobile code |
14 | Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting |
Requirements traceability in automated test generation: application to smart card software validation. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
model-based testing, formal model, requirements traceability |
14 | Steven Schockaert, Martine De Cock, Etienne E. Kerre |
Fuzzy Constraint Based Answer Validation. |
AWIC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Vittorio Cortellessa, Pierluigi Pierini, Daniele Rossi 0002 |
On the adequacy of UML-RT for performance validation of an SDH telecommunication system. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting |
Requirements traceability in automated test generation: application to smart card software validation. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
model-based testing, formal model, requirements traceability |
14 | Wolfgang Ahrendt, Andreas Roth 0002, Ralf Sasse |
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
14 | David Berner, Hiren D. Patel, Deepak Mathaikutty, Sandeep K. Shukla |
Automated Extraction of Structural Information from SystemC-based IP for Validation. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Shuichi Kurogi, Miho Sawa, Shinya Tanaka |
Competitive Associative Nets and Cross-Validation for Estimating Predictive Uncertainty on Regression Problems. |
MLCW |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Andrew Over, Peter E. Strazdins, Bill Clarke |
Cycle Accurate Memory Modelling: A Case-Study in Validation. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sylvia C. Wong, Simon Miles, Weijian Fang, Paul Groth, Luc Moreau 0001 |
Provenance-Based Validation of E-Science Experiments. |
ISWC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | T. S. E. Maibaum |
The Epistemology of Validation and Verification Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Karlsson, Petru Eles, Zebo Peng |
Validation of Embedded Systems Using Formal Method Aided Simulation. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anastasiya Sotnykova, Nadine Cullot, Christelle Vangenot |
Spatio-temporal Schema Integration with Validation: A Practical Approach. |
OTM Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yu Lei 0001, David Chenho Kung, Qizhi Ye |
A Blocking-Based Approach to Protocol Validation. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Wendy K. Pogozelski, Matthew P. Bernard, Salvatore F. Priore, Anthony J. Macula |
Experimental Validation of DNA Sequences for DNA Computing: Use of a SYBR Green I Assay. |
DNA |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Dietrich Albert, Christina M. Steiner |
Empirical Validation of Concept Maps: Preliminary Methodological Considerations. |
ICALT |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Faouzi Bouchhima, Gabriela Nicolescu, El Mostapha Aboulhamid, Mohamed Abid |
Discrete-Continuous Simulation Model for Accurate Validation in Component-Based Heterogeneous SoC Design. |
IEEE International Workshop on Rapid System Prototyping |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yanzhuo Tan, Yinhe Han 0001, Xiaowei Li 0001, Feiyin Lu, Yuchuan Chen |
Validation analysis and test flow optimization of VLSI chip. |
ISCAS (6) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Yan Jin, Jun Han 0004 |
Runtime Validation of Behavioural Contracts for Component Software. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | David M. Brooks, Pradip Bose, Margaret Martonosi |
Power-performance simulation: design and validation strategies. |
SIGMETRICS Perform. Evaluation Rev. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | John A. Rose, Akira Suyama |
Physical modeling of biomolecular computers: Models, limitations, and experimental validation. |
Nat. Comput. |
2004 |
DBLP DOI BibTeX RDF |
DNA strand design, molecular mechanics, statistical thermodynamics, biomolecular computing, kinetics, DNA-based computing |
14 | Rudy Deca, Omar Cherkaoui, Daniel Puche |
A Validation Solution for Network Configuration. |
CNSR |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ana R. Cavalli, Amel Mederreg, Fatiha Zaïdi, Pierre Combes, Wei Monin, Richard Castanet, Marcien MacKaya, Patrice Laurençot |
A Multi-service and Multi-protocol Validation Platform-Experimentation Results. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Adnan Sherif, Jifeng He 0001, Ana Cavalcanti 0001, Augusto Sampaio |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Formal methods integration, real-time systems, formal verification |
14 | Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee |
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Youhui Zhang, Dongsheng Wang 0002, Jinglei Wang, Weimin Zheng |
Using Model-Based Test Program Generator for Simulation Validation. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ray C. C. Cheung |
A System on Chip Design Framework for Prime Number Validation Using Reconfigurable Hardware. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Francisco P. Maturana, Raymond J. Staron, Kenwood H. Hall, Pavel Tichý, Petr Slechta, Vladimír Marík |
An Intelligent Agent Validation Architecture for Distributed Manufacturing Organizations. |
BASYS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Leonard Lee, Li-C. Wang, T. M. Mak, Kwang-Ting Cheng |
A path-based methodology for post-silicon timing validation. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche |
A Formal Validation Model for the Netconf Protocol. |
DSOM |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Alexandros Kalousis, Julien Prados, Jean-Charles Sanchez, Laure Allard, Melanie Hilario |
Distilling Classification Models from Cross Validation Runs: An Application to Mass Spectrometry. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Eugene Santos Jr., Hang T. Dinh |
Consistency of Test Cases in Validation of Bayesian Knowledge-Bases. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Richard Howey, Derek Long, Maria Fox 0001 |
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Luciano Baresi, Carlo Ghezzi |
Validation of Component and Service Federations in Automotive Software Applications. |
ASWSD |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Zhongchao Shi, Jin Qi, Xuying Zhao, Yangsheng Wang |
A Study of Minutiae Matching Algorithm Based on Orientation Validation. |
SINOBIOMETRICS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Thorsten Schöler, Christian Müller-Schloer |
Design, Implementation and Validation of a Generic and Reconfigurable Protocol Stack Framework for Mobile Terminals. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Qibin Mei, Chengbo Wang, Xiaolan Mei |
Description Mathematical Approach to Validation for Grid Service Matching Function. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Christian Hennig |
A Method for Visual Cluster Validation. |
GfKl |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Amal El Fallah Seghrouchni, Irene Degirmenciyan-Cartault, Frédéric Marc |
Modelling, Control and Validation of Multi-Agent Plans in Dynamic Context. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | L. Ol'khovich, Dmitrij V. Koznov |
OCL-Based Automated Validation Method for UML Specifications. |
Program. Comput. Softw. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Tiziana Margaria, Wang Yi 0001 |
Introductory paper: scalability aspects of validation. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sankalp Singh, Michel Cukier, William H. Sanders |
Probabilistic Validation of an Intrusion-Tolerant Replication System. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Prabhat Mishra 0001, Nikil D. Dutt |
A Methodology for Validation of Microprocessors using Equivalence Checking. |
MTV |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Gabriele Taentzer |
AGG: A Graph Transformation Environment for Modeling and Validation of Software. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
|
14 | David Wright 0001 |
Elicitation and Validation of Graphical Dependability Models. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Jason H. Moore |
Cross Validation Consistency for the Assessment of Genetic Programming Results in Microarray Studies. |
EvoWorkshops |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza |
Software Verification and Validation within the (Rational) Unified Process. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Eduardo Mosqueira-Rey, Juan Gabriel Fernández García de la Rocha, Vicente Moret-Bonillo |
Design of a Validation Tool Based on Design Patterns for Intelligent Systems. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Tomas Berling, Martin Höst |
A Case Study Investigating the Characteristics of Verification and Validation Activities in the Software Development Process. |
EUROMICRO |
2003 |
DBLP DOI BibTeX RDF |
verification, test, case study, interview, qualitative analysis |
14 | Jamison Masse, Saehwa Kim, Seongsoo Hong |
Tool Set Implementation for Scenario-based Multithreading of UML-RT Models and Experimental Validation. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
14 | W. Scott Spangler, Jeffrey T. Kreulen |
Interactive methods for taxonomy editing and validation. |
CIKM |
2002 |
DBLP DOI BibTeX RDF |
clustering, metrics, text mining |
14 | Marius Bozga, Susanne Graf, Laurent Mounier |
IF-2.0: A Validation Environment for Component-Based Real-Time Systems. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Patricio Letelier 0001, Pedro Sánchez |
Validation of UML Classes through Animation. |
ER (Workshops) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee |
Immediate and Partial Validation Mechanism for the Conflict Resolution of Update Operations in XML Databases. |
WAIM |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Christine Tanner, Julia A. Schnabel, Andreas Degenhard, Andy D. Castellano-Smith, Carmel Hayes, Martin O. Leach, D. Rodney Hose, Derek L. G. Hill, David J. Hawkes |
Validation of Volume-Preserving Non-rigid Registration: Application to Contrast-Enhanced MR-Mammography. |
MICCAI (1) |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Tanton H. Gibbs, Brian A. Malloy, James F. Power |
Automated Validation of Class Invariants in C ++ Applications. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Sadeghi 0001, Josef Kittler |
Modified Predictive Validation Test for Gaussian Mixture Modelling. |
SSPR/SPR |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Serdar Tasiran, Kurt Keutzer |
Coverage Metrics for Functional Validation of Hardware Designs. |
IEEE Des. Test Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Ik-Soon Kim, Kwang-Moo Choe |
Error repair with validation in LR-based parsing. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
LR, least cost, Complexity, error recovery |
14 | Ali Idri, Alain Abran |
A Fuzzy Logic Based Set of Measures for Software Project Similarity: Validation and Possible Improvements. |
IEEE METRICS |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat |
A New UML Profile for Real-Time System Formal Design and Validation. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Brian D. Davison 0001 |
HTTP Simulator Validation Using Real Measurements: A Case Study. |
MASCOTS |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé |
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Victor L. Winter, Dejan Desovski, Bojan Cukic |
Virtual Environment Modeling for Requirements Validation of High Consequence Systems. |
RE |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Hyunchul Kang, Sangmin Lim |
Bandwidth-Conserving Cache Validation Schemes in a Moblie Database System. |
Mobile Data Management |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Julia A. Schnabel, Christine Tanner, Andy D. Castellano-Smith, Martin O. Leach, Carmel Hayes, Andreas Degenhard, D. Rodney Hose, Derek L. G. Hill, David J. Hawkes |
Validation of Non-rigid Registration Using Finite Element Methods. |
IPMI |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Moataz Kamel, Stefan Leue |
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns |
14 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
An Automatic SPIN Validation of a Safety Critical Railway Control System. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
dependable protocols, model checking, formal verification, safety-critical systems |
14 | François Terrier, Nikos S. Voros, Udo Brockmeyer |
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. |
ECOOP Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Candace L. Conwell, Rosemary Enright, Marcia A. Stutzman |
Capability maturity models support of modeling and simulation verification, validation, and accreditation. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Dirk Brade |
VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel |
Teaching system modeling, simulation and validation. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Don Caughlin |
An integrated approach to verification, validation, and accredition of models and simulations. |
WSC |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Desel |
Validation of Process Models by Construction of Process Nets. |
Business Process Management |
2000 |
DBLP DOI BibTeX RDF |
|
14 | George C. Necula |
Translation validation for an optimizing compiler. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
14 | P. G. Prasad |
Validation of Link Layer Synthesizable Core - A Prototyping Case Study. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic |
14 | Jean-Paul Bodeveix, Mamoun Filali |
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
abstraction, transition systems, monadic second order logic, model checker |
14 | Peter R. Dietmüller, Markus Jöbstl, Jörg R. Mühlbacher, W. Zwicknagl |
Real-Time Visualisation of Object Structures for Semantic Validation. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Michael Cogswell, Don Pearl, James Sage, Alan Troidl |
An Automatic Validation Methodology for Logic BIST in High Performance VLSI Design. |
ICCD |
2000 |
DBLP DOI BibTeX RDF |
|
14 | A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar |
A System for Object Code Validation. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Wolfgang Fleisch |
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Irina M. Smarandache, Thierry Gautier, Paul Le Guernic |
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Aarti Gupta, Pranav Ashar, Sharad Malik |
Exploiting Retiming in a Guided Simulation Based Validation Methodology. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ian Oliver, Stuart Kent 0001 |
Validation of Object Oriented Models using Animation. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro |
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. |
SCCC |
1999 |
DBLP DOI BibTeX RDF |
Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing |
14 | Patrick Heymans, Eric Dubois 0001 |
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. |
Requir. Eng. |
1998 |
DBLP DOI BibTeX RDF |
Formal methods, Animation, Scenarios, Message sequence charts |
14 | Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta 0001 |
A timing-driven design and validation methodology for embedded real-time systems. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
period assignment, period derivation, rate assignment, rate derivation, timing-driven codesign, requirements analysis, timing analysis, system-level design, performance verification |
14 | Friedrich Leisch, Lakhmi C. Jain, Kurt Hornik |
Cross-validation with active pattern selection for neural-network classifiers. |
IEEE Trans. Neural Networks |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Norman Weyrich, Gregory T. Warhola |
Wavelet shrinkage and generalized cross validation for image denoising. |
IEEE Trans. Image Process. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Luiz A. Paula Lima Jr., Ana R. Cavalli |
Application of Embedded Testing Methods to Service Validation. |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Theo C. Ruys, Ed Brinksma |
Experience with Literate Programming in the Modelling and Validation of Systems. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi |
Visualisation of Executable Formal Specifications for User Validation. |
Services and Visualization: Towards User-Friendly Design |
1998 |
DBLP DOI BibTeX RDF |
|
|
|