Search results

• EURASIP Journal on Embedded Systems 2009
  ...ry complex as they are responsible for controlling and regulating multiple system functionalities. Often embedded systems are also safety-critical requiring ...sors controlling the modern cars or aircrafts and airport baggage handling system that track and trace unsafe baggage. To address this growing need for safet
  4 KB (456 words) - 11:24, 28 January 2021
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools for system synthesis
  2 KB (292 words) - 09:33, 8 March 2021
• VLSI-DAT 2009
  * System-in-package design * Electronic System Level Design
  2 KB (282 words) - 19:22, 17 February 2021
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  424 bytes (52 words) - 09:45, 8 March 2021
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (255 words) - 19:18, 17 February 2021
• SnT2017
  ...n 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 (452 words) - 10:22, 8 March 2021
• Petri Nets 2018
  ...ed with the 18th International Conference on Application of Concurrency to System Design (ACSD 2018). * ● Model checking and verification of distributed systems
  2 KB (244 words) - 10:16, 8 March 2021
• Petri Nets 2019
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (252 words) - 10:16, 8 March 2021
• TACAS 2021
  * specification and verification techniques; * software and hardware verification;
  2 KB (294 words) - 10:23, 8 March 2021
• FMCAD 2008
  ...ems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2008 will include a full day
  2 KB (269 words) - 11:26, 28 January 2021
• CADS 2017
  * High-Performance I/O Systems and Storage System Architectures * Dependable and Fault Tolerant System Designs
  1 KB (179 words) - 09:32, 8 March 2021
• Petri Nets 2020
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (292 words) - 10:16, 8 March 2021
• Free VLSI Workshop 2017 : Registrations open – Free VLSI Workshop at Maven Silicon on 20th Aug 2017
  Join us for Free Workshop on RTL Design & Functional Verification and receive Verification.
  2 KB (328 words) - 09:46, 8 March 2021
• APSAR 2009
  A1. Airborne SAR System A2. Space-borne SAR System
  2 KB (307 words) - 11:05, 28 January 2021
• TACAS 2019
  * specification and verification techniques; * software and hardware verification;
  3 KB (370 words) - 10:23, 8 March 2021
• RTAS Event-based Semantics 2008
  certification, resulting in a major verification challenge. The notion of Cyber-Physical System (CPS) is adding new dimenions to these challenges.
  3 KB (426 words) - 19:11, 17 February 2021
• CORCS 2008
  Any submission whose content is relevant to the area of resource constrained system design will be considered, but submission whose subject matter is related t * formal techniques for verification and validation of
  2 KB (254 words) - 11:13, 28 January 2021
• DATE 2010
  • System Design Methods, Algorithm and Tools • System Level Specification and Modeling
  5 KB (605 words) - 11:16, 28 January 2021
• DATE 2020
  * System Specification and Modelling * System Design, Synthesis and Optimization
  4 KB (509 words) - 09:38, 8 March 2021
• WWV 2011
  |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
  5 KB (651 words) - 10:27, 8 March 2021

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