Search results

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

• ICINCO 2009
  - Petri nets (system design/verification with nets, protocols and networks)
  5 KB (661 words) - 13:02, 18 January 2009
• PESOS 2009
  verification, and evolution - to their extreme. Services are in fact - specification, design, implementation, verification, deployment, and
  5 KB (694 words) - 13:03, 18 January 2009
• FroCoS 2009
  program development and verification, artificial intelligence, knowledge
  5 KB (669 words) - 13:03, 18 January 2009
• ICCNS 2009
  ...ation form below. Student registrations must be accompanied by a letter of verification from a department chairperson or faculty/research advisor.
  8 KB (1,092 words) - 13:33, 18 January 2009
• ATVA 2020
  |Title=18th International Symposium on Automated Technology for Verification and Analysis
  596 bytes (75 words) - 08:35, 20 March 2020
• DISC 2009
  * tools and methodologies for specification, semantics, verification, and testing
  7 KB (890 words) - 15:05, 27 December 2015
• SPIN 2009
  ...on techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas w
  2 KB (238 words) - 16:34, 27 February 2009
• FACS 2009
  techniques for the specification, development and verification of verification, deployment, testing and certification.
  8 KB (1,079 words) - 17:05, 27 February 2009
• TTSDP 2009
  ...tware development, component based software engineering, software quality, verification and validation techniques and software project management,.
  1 KB (190 words) - 22:09, 27 February 2009
• SEPA 2009
  ...tware development, component based software engineering, software quality, verification and validation techniques and software project management.
  2 KB (284 words) - 22:10, 27 February 2009
• FCT 2009
  ...guages; program analysis and transformation; specification, refinement and verification; type
  2 KB (282 words) - 11:28, 21 April 2021
• IJERTCS 2009
  - Modeling and verification methods - Formal design and verification methods
  5 KB (646 words) - 17:06, 27 February 2009
• KSE 2009
  - Testing, Verification and Validation
  6 KB (654 words) - 17:06, 27 February 2009
• ATVA 2009
  | Title = 7th International Symposium on Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
  6 KB (801 words) - 17:06, 27 February 2009
• IPTComm 2009
  * Inter-provider trust and verification schemes
  4 KB (621 words) - 17:06, 27 February 2009
• TKDE 2009
  * Verification and validation of interchanged rule bases in
  7 KB (883 words) - 17:06, 27 February 2009
• ICOCI 2009
  • Formal Methods, Verification
  3 KB (319 words) - 17:07, 27 February 2009
• ISC 2009
  VERIFICATION, VALIDATION AND ACCREDITATION ...dation is concerned with the question "Are we building the right system?". Verification, on the other hand, seeks to answer the question "Are we building the syste
  38 KB (4,832 words) - 17:07, 27 February 2009
• RelMiCS-AKA 2009
  - verification, analysis and development of programs and algorithms
  7 KB (912 words) - 17:08, 27 February 2009
• ICKE 2009
  * Validation and verification
  11 KB (1,563 words) - 06:56, 12 April 2012

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