Search results

• ICST
  ...=International Conference on Software Testing, Verification and Validation
  204 bytes (22 words) - 21:16, 1 April 2022
• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  457 bytes (56 words) - 19:10, 1 April 2022
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  287 bytes (31 words) - 19:44, 1 April 2022
• 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
  539 bytes (63 words) - 19:14, 1 April 2022
• MSVVEIS 2008
  ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  698 bytes (74 words) - 20:55, 1 April 2022
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  472 bytes (56 words) - 19:15, 1 April 2022
• 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
  564 bytes (66 words) - 19:21, 1 April 2022
• TACAS 2008
  |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008 ...14. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss (TACAS) 2008
  2 KB (204 words) - 20:25, 1 April 2022
• SafeComp 2019
  |Title=38th International Conference on Computer Safety, Reliability, and Security The 38th International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
  3 KB (426 words) - 19:59, 1 April 2022
• TACAS 2011
  |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems ...17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2011
  2 KB (210 words) - 20:25, 1 April 2022
• EURASIP Journal on Embedded Systems 2009
  ...ystems, Special Issue on Formal Techniques for Embedded Systems Design and Validation ...dded systems are also safety-critical requiring high degree of reliability and fault tolerance. Examples
  4 KB (459 words) - 20:40, 1 April 2022
• SAFECOMP 2017
  |Title=36th International Conference on Computer Safety, Reliability, and Security ...state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
  4 KB (464 words) - 19:59, 1 April 2022
• SafeComp 2018
  |Title=37th International Conference on Computer Safety, Reliability, and Security The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
  4 KB (482 words) - 19:59, 1 April 2022
• TTSDP 2009
  | Title = International Workshop on “Tools and Techniques in Software Development Processes for High Performance computing ...ware engineering, software quality, verification and validation techniques and software project management,.
  2 KB (194 words) - 19:02, 1 April 2022
• ESOP 2002
  ...applications to the development of correct, secure and efficient software and systems. ...ramming language based techniques for development, analysis, verification, validation, etc.
  1 KB (164 words) - 20:23, 1 April 2022
• DERIS 2009
  | Title = International Workshop on Design, Evaluation and Refinement of Intelligent Systems Design, Evaluation and Refinement of Intelligent Systems (DERIS)
  6 KB (867 words) - 20:38, 1 April 2022
• AWSE 2021
  ...Engineering; Search-based Software Engineering; Testing, Verification, and Validation; Web-based Software Engineering etc. Accepted papers after proper registration and presentation will be published in the Conference Proceedings, which will be
  1 KB (166 words) - 11:52, 6 April 2022
• CoNEXT 2018
  |Title=14th International Conference on Emerging Networking Experiments and Technology *Content distribution and caching, e.g., CDN, peer-to-peer, overlays, wide-area
  2 KB (245 words) - 19:48, 1 April 2022
• SafeComp 2020
  |Title=39th International Conference on Computer Safety, Reliability and Security The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)
  5 KB (624 words) - 19:59, 1 April 2022
• LCTES 2010
  | Title = Conference on Languages, Compilers and Tools for Embedded Systems Sweden for an exciting exchange of ideas and techniques among several
  2 KB (260 words) - 20:53, 1 April 2022

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