Search results

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

• ICITST-2010
  * System design and verification
  5 KB (607 words) - 18:01, 3 December 2009
• SECRYPT
  * › Mobile System Security * › Security Verification and Validation
  4 KB (409 words) - 15:40, 5 February 2010
• TACAS 2019
  * specification and verification techniques; * software and hardware verification;
  3 KB (369 words) - 06:23, 4 August 2020
• FDL 2010
  ABD TA: Assertion Based Design, Verification & Debug emphasis on frontier design levels, verification, automatic synthesis and
  8 KB (1,113 words) - 17:01, 22 February 2010
• ECSI
  ...vantage, knowledge base and access to innovative emerging solutions in the system design domain. ...tion of member partners originating in the entire System Design ecosystem: system companies (aerospace, automotive, telecom, consumer, networking, …), embe
  3 KB (394 words) - 17:18, 22 February 2010
• IWIGP 2011
  ...ons a system takes are not (completely) determined by the interactions the system is involved in? In computer science, nondeterministic interactions are usua * test and verification of interactive systems
  5 KB (604 words) - 21:24, 1 November 2010
• DISC 2020
  * Formal methods for distributed computing: verification, synthesis and testing * System-on-chip and network-on-chip architectures
  3 KB (344 words) - 11:30, 21 April 2020
• ISMM 2012
  <li>Memory system correctness, design, and analysis <br> <li>Program analysis, synthesis, and verification<br>
  2 KB (279 words) - 02:50, 22 October 2011
• MESA 2011
  * Design & Verification Tools for Embedded Systems * Biomechatronic System Modeling, Simulation of Bio-Systems, System
  12 KB (1,378 words) - 21:13, 28 November 2010
• SAAES 2011
  ...ptation. SAA features become essential in the emerging and future embedded system, as the number of components and their heterogeneity increase significantly * Formal Methods in the Design and Verification of SAA Systems
  4 KB (598 words) - 18:55, 23 December 2010
• SXACEA 2011
  ...uring the design of the system can be delayed until operation and thus the system is able to react more * Cyber Physical System
  8 KB (678 words) - 09:03, 2 January 2011
• SAAES
  ...ptation. SAA features become essential in the emerging and future embedded system, as the number of components and their heterogeneity increase significantly * Formal Methods in the Design and Verification of SAA Systems
  4 KB (593 words) - 17:49, 7 January 2011
• WWV 2011
  |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
  5 KB (650 words) - 14:16, 22 February 2011
• NCA 2011
  * System Area Networks (SAN)/Clusters * Dependable Wide, Local, and System Area Networks
  3 KB (322 words) - 05:59, 8 March 2011
• DISSECT 2020
  |Field=Computer system, Computer networks, Cyber security Verification and enforcement of security properties
  4 KB (581 words) - 18:48, 24 February 2020
• OPODIS 2019
  ...scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems. *Programming languages, formal methods, specification and verification applied to distributed systems
  2 KB (299 words) - 11:51, 8 April 2020
• ACIS 2013
  * E-government System * Knowledge-based System
  3 KB (408 words) - 11:39, 5 January 2013
• RIVF 2016
  ..., open source software development, software process, software testing and verification, embedded systems, distributed data management, information integration, do
  3 KB (422 words) - 12:09, 24 April 2016
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  418 bytes (51 words) - 16:21, 8 July 2016
• SnT2017
  ...Treaty (CTBT)'''. Such interaction helps ensure that the Treaty’s global verification regime remains at the forefront of scientific and technical innovation. ...phere, underwater and underground. The CTBTO is tasked with establishing a verification regime which includes a global network of over 300 monitoring stations.
  3 KB (451 words) - 17:30, 24 January 2017

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