Search results

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

• ICLP 2009
  ** Validation ** Verification
  5 KB (680 words) - 23:55, 27 February 2020
• CORCS 2009
  Aims and Scope state-of-the-art, research and development in the area of resource
  4 KB (504 words) - 16:43, 27 December 2015
• DATE 2010
  Conference and Exhibition: March 8-12, 2010 ...systems. It puts strong emphasis on both ICs/SoCs, reconfigurable hardware and embedded systems, including embedded software.
  5 KB (605 words) - 15:11, 27 December 2015
• ICIMP 2010
  |Title=The Fifth International Conference on Internet Monitoring and Protectio ICIMP 2010: The Fifth International Conference on Internet Monitoring and Protection
  14 KB (1,651 words) - 15:56, 15 February 2017
• KES AMSTA 2010
  ...ternational KES Symposium on Agents and Multi-agent Systems - Technologies and Applications Call for Papers and Invited Sessions Proposals
  6 KB (733 words) - 18:19, 24 September 2020
• FM 2011
  ...and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. ...ings, experimental validation of tools and methods as well as construction and evolution of formal methods tools.
  7 KB (993 words) - 14:55, 27 December 2015
• RTAS 2020
  |Title=26th IEEE Real-Time and Embedded Technology and Applications Symposium ...e design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size). The scope of RTAS’20 consists of tw
  2 KB (312 words) - 10:13, 8 October 2020
• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 21:54, 26 February 2020
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 17:00, 27 February 2020
• RE 2011
  * Requirements elicitation, analysis, documentation, validation and verification * Requirements specification languages, methods, processes and tools
  7 KB (895 words) - 19:51, 24 June 2016
• ESEC/FSE 2020
  |Title=ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering '''27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)''' (ESEC 20
  6 KB (738 words) - 11:21, 6 July 2020
• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  402 bytes (51 words) - 16:17, 8 July 2016
• TAIC PART 2017
  ...2017 : 12th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques |Field=software testing, industry collaboration, verification and validation, software quality
  484 bytes (58 words) - 15:35, 27 August 2016
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  417 bytes (51 words) - 13:47, 25 September 2016
• ITEQS 2017
  ...2017 : 1st International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems |Field=software testing, verification and validation, extra-functional properties, software quality
  509 bytes (61 words) - 13:48, 25 September 2016
• ICSS 2017
  easily added on as a patch, post-development, and sometimes even after the Team (US-CERT), "most successful attacks result from targeting and exploiting
  4 KB (562 words) - 12:05, 3 September 2017
• ICSESS 2017
  ...SESS 2017: 2017 8th IEEE International Conference on Software Engineering and Service Science 2017 8th International Conference on Software Engineering and Service Science
  5 KB (673 words) - 09:53, 3 September 2017
• FoIKS 2018
  ...e=FoIKS 2018 : 10th International Symposium on Foundations of Information and Knowledge Systems Please consider to contribute to and/or forward to the appropriate groups
  9 KB (1,118 words) - 13:41, 3 September 2017
• COMNET SI SDN/NFV Security/Performance 2017 : Elsevier Computer Networks: Special Issue on Security and Performance of SDN/NFV
  .../Performance 2017 : Elsevier Computer Networks: Special Issue on Security and Performance of SDN/NFV Software-defined Networking (SDN) and Network Functions Virtualization
  4 KB (515 words) - 11:28, 6 November 2020
• ISEC 2018
  We invite technical papers describing original and unpublished results of foundational, theoretical, empirical, and applied software and systems
  8 KB (1,150 words) - 10:11, 7 August 2019

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