Search results

• CAV 2021
  |Title=International Conference on Computer-Aided Verification * Algorithms and tools for system synthesis
  2 KB (188 words) - 20:16, 1 April 2022
• 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 (459 words) - 20:40, 1 April 2022
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools for system synthesis
  3 KB (356 words) - 20:16, 1 April 2022
• FSEN 2017
  |Field=system verification, software engineering, formal methods, software testing
  473 bytes (56 words) - 19:10, 1 April 2022
• 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 (456 words) - 19:31, 1 April 2022
• VLSI-DAT 2009
  * System-in-package design * Electronic System Level Design
  2 KB (285 words) - 21:05, 1 April 2022
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (258 words) - 21:02, 1 April 2022
• Francesco Flammini
  .../ETCS (European Railway Traffic Management System / European Train Control System) projects. Since February 2007, he has worked on the protection of transpor
  1 KB (186 words) - 17:22, 5 February 2009
• Petri Nets 2019
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (258 words) - 19:59, 1 April 2022
• SimpleScalar
  ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
  2 KB (210 words) - 12:17, 7 April 2016
• 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 (250 words) - 19:59, 1 April 2022
• TACAS 2008
  *Specification and verification techniques for finite and infinite-state systems *Software and hardware verification
  2 KB (204 words) - 20:25, 1 April 2022
• 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 (272 words) - 20:41, 1 April 2022
• TACAS 2011
  *Specification and verification techniques for finite and infinite-state systems *Software and hardware verification
  2 KB (210 words) - 20:25, 1 April 2022
• 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
• Petri Nets 2020
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  3 KB (298 words) - 19:59, 1 April 2022
• 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 (334 words) - 19:32, 1 April 2022
• 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 (429 words) - 20:59, 1 April 2022
• CADS 2017
  * High-Performance I/O Systems and Storage System Architectures * Dependable and Fault Tolerant System Designs
  2 KB (185 words) - 20:07, 1 April 2022

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