Search results

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

• FM'08
  analysis, model-checking, verification, calculation, reusable * Role of formal methods: formal methods in hardware and system design,
  7 KB (979 words) - 23:37, 14 October 2008
• APSAR 2009
  A1. Airborne SAR System A2. Space-borne SAR System
  2 KB (307 words) - 23:39, 14 October 2008
• HASE 2008
  ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. * Integrated system reliability, availability, security, safety, and timing analysis and evalua
  6 KB (748 words) - 14:43, 27 December 2015
• SECURWARE 2009
  Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de * SYSSEC: System security
  13 KB (1,617 words) - 19:03, 24 November 2008
• QAPL 2009
  and the methodologies and tools for the analysis and verification of system Language expressiveness, Logic, Verification, Quantum languages, Semantics,
  6 KB (823 words) - 14:28, 14 December 2008
• 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
• M4M-6
  researchers interested in developing algorithms, verification methods of system demonstrations.
  4 KB (535 words) - 10:05, 24 December 2008
• ICLP 2009
  ** Verification development, verification, and implementation; (2) application papers,
  5 KB (680 words) - 23:55, 27 February 2020
• IAAI 2009
  ...n of AI with other technologies; development methodologies; validation and verification; lessons learned; social and other technology transition issues. ...may evaluate either a stand-alone application or a component of a complex system. In addition to the criteria listed above for the Emerging Track papers, th
  11 KB (1,724 words) - 12:55, 18 January 2009
• RIVF 2009
  o Software testing and verification o Embedded system testing and verification
  5 KB (567 words) - 12:58, 18 January 2009
• IEEE/SIES 2009
  ...dded Systems; Real-Time Issues; Models of Embedded Computation; Design and Verification Languages; Operating Systems and Quasi-Static Scheduling; Timing and Perfor System-on-Chip and Network-on-Chip Design & Testing: Design of Application- Specif
  3 KB (337 words) - 12:59, 18 January 2009
• ProMAS' 2009
  implementation of the essential concepts used in multi-agent system - Formal methods for specification and verification of MAS
  8 KB (977 words) - 12:59, 18 January 2009
• Ptolemy 2009
  Scientific Workflows and is currently based on the Ptolemy II system * Model verification
  3 KB (335 words) - 00:52, 2 February 2009
• SSV 2009
  | Title = 4th International Workshop on Systems Software Verification Industrial-strength software analysis and verification has advanced in
  2 KB (255 words) - 13:00, 18 January 2009
• ProMAS 2009
  implementation of the essential concepts used in multi-agent system - Formal methods for specification and verification of MAS
  7 KB (917 words) - 13:02, 18 January 2009
• ICINCO 2009
  - Petri nets (system design/verification with nets, protocols and networks) - Time series and system modeling
  5 KB (661 words) - 13:02, 18 January 2009
• FroCoS 2009
  program development and verification, artificial intelligence, knowledge files via the EasyChair system:
  5 KB (669 words) - 13:03, 18 January 2009
• ICCNS 2009
  * audition * neural system models ...logical (T) work [Example: first choice: vision (T); second choice: neural system models (B)].
  8 KB (1,092 words) - 13:33, 18 January 2009
• TTSDP 2009
  ...tware development, component based software engineering, software quality, verification and validation techniques and software project management,.
  1 KB (190 words) - 22:09, 27 February 2009
• SEPA 2009
  ...tware development, component based software engineering, software quality, verification and validation techniques and software project management.
  2 KB (284 words) - 22:10, 27 February 2009

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