Search results

• ICST
  |Title=International Conference on Software Testing, Verification and Validation
  133 bytes (17 words) - 11:17, 17 February 2021
• HLDVT 2016
  |Title=HLDVT 2016 : IEEE International High-Level Design Validation and Test Workshop |Field=validation, verification, debug, test
  402 bytes (51 words) - 13:22, 17 February 2021
• ICST 2020
  |Title=International Conference on Software Testing, Verification and Validation
  228 bytes (26 words) - 13:54, 17 February 2021
• MSVVEIS 2008
  ...le = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  618 bytes (69 words) - 13:18, 17 February 2021
• AMARETTO 2017
  ...nal Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
  417 bytes (51 words) - 13:27, 17 February 2021
• 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) - 13:24, 17 February 2021
• 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:28, 17 February 2021
• 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 (456 words) - 12:23, 17 February 2021
• 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 (419 words) - 14:05, 17 February 2021
• 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 (457 words) - 14:05, 17 February 2021
• 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 (475 words) - 14:05, 17 February 2021
• DERIS 2009
  | Title = International Workshop on Design, Evaluation and Refinement of Intelligent Systems Design, Evaluation and Refinement of Intelligent Systems (DERIS)
  6 KB (864 words) - 13:07, 17 February 2021
• FASE 2019
  ...nt of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all s ...gineering discipline, including its interaction with and impact on society and economics;
  2 KB (301 words) - 13:48, 17 February 2021
• 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,.
  1 KB (190 words) - 13:05, 17 February 2021
• 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 (617 words) - 14:05, 17 February 2021
• Francesco Flammini
  ...rrently teaches Computer Science at the University "Federico II" of Naples and serves as the Editor in Chief for the "International Journal of Critical Co
  1 KB (186 words) - 12:59, 17 February 2021
• KSEM 2018
  |Title=International Conference on Knowledge Science, Engineering and Management * Knowledge representation and reasoning
  2 KB (204 words) - 13:57, 17 February 2021
• 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 (238 words) - 13:58, 17 February 2021
• 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 (257 words) - 13:07, 17 February 2021
• COMPSAC 2008
  | Title = 32nd Annual IEEE International Computer Software and Applications Conference ...eedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatic inclusion in the IEEE digital library. Plans had been made to for
  2 KB (249 words) - 12:20, 17 February 2021

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