Search results

Create the page "Verification" on this wiki! See also the search results found.

• EICS 2009
  ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
  4 KB (575 words) - 14:56, 27 December 2015
• CASCON 2008
  - Reliability: verification and validation; model checking; =
  9 KB (1,193 words) - 22:53, 14 October 2008
• CDVE 2008
  �?� Cooperative design analysis, verification, integration and interoperability, standards
  4 KB (468 words) - 22:54, 14 October 2008
• LATA 2008
  - automata for system analysis and programme verification
  6 KB (788 words) - 23:01, 14 October 2008
• WIALAMAS 2008
  * formal methods for verification of multi-agent systems
  5 KB (670 words) - 23:04, 14 October 2008
• LPAR 2008
  - Program and system verification
  5 KB (799 words) - 21:49, 26 February 2020
• ICINCO 2008
  Petri nets (system design/verification with nets, protocols and networks)
  5 KB (634 words) - 23:05, 14 October 2008
• ICTAC 09
  * software specification, refinement, verification and testing
  8 KB (1,085 words) - 18:01, 12 February 2009
• LATA 2009
  - automata for system analysis and programme verification
  7 KB (994 words) - 23:06, 14 October 2008
• TCS 2008
  and Verification. Verification:
  5 KB (698 words) - 23:08, 14 October 2008
• NLDB 2008
  ...nt Engineering, Terminological Ontologies, Paraphrasing, Dynamic Modeling, Verification, Consistency Checking, Metadata Harvesting ...ase Querying/Retrieval: Natural Language Interfaces for Database Querying, Verification of Database Queries by Paraphrasing, Semantic Analysis for Information Retr
  3 KB (384 words) - 23:08, 14 October 2008
• TWOMDE 2008
  * Reasoning over MOF-based models using ontologies: verification and
  8 KB (994 words) - 23:09, 14 October 2008
• MODELS OCL 2008
  web semantics) and for various purposes (e.g., model verification and * validation, verification, and testing,
  5 KB (746 words) - 23:09, 14 October 2008
• MSVVEIS 2008
  | Title = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  618 bytes (69 words) - 17:06, 24 February 2016
• WaGe 2008
  · Workflow verification and validation in grid environments
  7 KB (886 words) - 23:10, 14 October 2008
• SDKB 2008
  * Validation and Verification of data and knowledge base designs
  2 KB (271 words) - 23:10, 14 October 2008
• WSES 2008
  * Workflow verification and validation
  4 KB (560 words) - 23:10, 14 October 2008
• IAMCOM 2008
  14. Service-level specification & verification
  5 KB (651 words) - 23:13, 14 October 2008
• ICWS 2008
  verification, testing, etc.)
  8 KB (1,158 words) - 23:14, 14 October 2008
• AAMAS 2020
  ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Verification of multi-agent systems
  6 KB (659 words) - 17:41, 11 February 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)