Search results

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

• ICSS 2017
  * Validation, Verification and Testing for Software Security Authors are invited to submit papers through theConference Submission System
  4 KB (562 words) - 12:05, 3 September 2017
• ICSESS 2017
  Engineering, Computer Science and System, System Model and Algorithm, Management Verification and Validation
  5 KB (673 words) - 09:53, 3 September 2017
• ECIJ 2017 : Electrical & Computer Engineering: An International Journal
  * Hardware Formal Verification System [http://wireilla.com/paper_submission/index.php]. Submissions must be
  3 KB (464 words) - 13:28, 28 July 2017
• OPODIS 2017
  theory, specification, design, performance, and system building. - Programming languages, formal methods, specification and verification
  7 KB (1,009 words) - 15:54, 3 September 2019
• SoICT 2017
  submitted via EasyChair system. SoICT 2017 proceedings will be published in the Verification, Programming Languages; Parallel/Distributed Computing,
  4 KB (559 words) - 11:58, 8 August 2017
• ISEC 2018
  - System Modeling and Simulation - System Verification and Validation
  8 KB (1,150 words) - 10:11, 7 August 2019
• 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 (327 words) - 13:34, 28 July 2017
• MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences
  engines; applications, especially in systems analysis and formal verification; using the easychair submission system:
  5 KB (670 words) - 13:24, 28 July 2017
• CADS 2017
  * High-Performance I/O Systems and Storage System Architectures * Dependable and Fault Tolerant System Designs
  1 KB (178 words) - 10:05, 20 November 2020
• SPTE SC 2017 : IJDSN Special Collection on Secure Positioning Technologies for the Emerging Services and Computing Paradigms
  of smart systems (smart city, intelligence transportation system, smart healthcare system, etc.) and smart devices, such as smartphones, unmanned
  4 KB (500 words) - 09:56, 21 August 2017
• SI-SoftMM 2017 : Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
  reasoning process, so it can deal with multivariable and nonlinear system soft computing in system and application domains. The general scope of this
  4 KB (598 words) - 09:58, 21 August 2017
• IoTBDS 2018
  - System Design and Architecture - Tenant Application Development including Customization, Verification,
  8 KB (1,170 words) - 13:40, 3 September 2017
• ZEUS 2018
  - Formal methods, models, simulation, and verification - System architectures for service composition
  4 KB (565 words) - 18:34, 4 July 2020
• BIOINFORMATICS 2019
  *Formal Verification of Biological Systems From Offline towards Real-Time: a Wearable HAR System Using Biosensors Integrated into a Knee Bandage (BIOSTEC)
  3 KB (359 words) - 12:32, 8 December 2020
• SafeComp 2020
  * Development, verification and assessment of intelligent and autonomous safety-critical systems * Formal modelling, verification and validation
  5 KB (617 words) - 11:54, 19 June 2020
• 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 (243 words) - 20:03, 13 May 2020
• Petri Nets 2019
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (251 words) - 18:19, 13 May 2020
• Petri Nets 2020
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (291 words) - 19:33, 13 May 2020
• SafeComp 2019
  * development, verification and assessment of highly automated and autonomous dependable systems * formal modelling, verification and validation of critical systems, software and hardware
  3 KB (419 words) - 10:51, 19 June 2020
• DATE 2018
  ...ys in the programme will focus on two areas bringing new challenges to the system design community: ...fields. The tutorials are well suited for researchers, tool developers and system designers.
  12 KB (1,651 words) - 13:30, 27 November 2020

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