Search results

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

• LAPL 2009
  as the verification of agent programs (i.e., will an agent program programs and associated verification techniques, with work on various
  4 KB (586 words) - 01:27, 19 November 2008
• DALT 2008
  sure predictability, allow for the verification of properties, * verification of agents and multiagent systems
  8 KB (840 words) - 23:38, 14 October 2008
• APSAR 2009
  B3. SAR Calibration and Verification
  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.
  6 KB (748 words) - 14:43, 27 December 2015
• PODC 2008
  - specification, semantics, verification, and testing of distributed systems
  6 KB (766 words) - 13:19, 28 November 2016
• COMPSAC 2008
  ...lysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constra
  2 KB (249 words) - 23:44, 14 October 2008
• SECURWARE 2009
  Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
  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
  ...uary 2007, he has worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and
  1 KB (186 words) - 17:22, 5 February 2009
• M4M-6
  researchers interested in developing algorithms, verification methods
  4 KB (535 words) - 10:05, 24 December 2008
• BPMDS 2009
  design, compliance assurance and verification, and others.
  11 KB (1,744 words) - 08:47, 5 July 2012
• 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.
  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
  3 KB (337 words) - 12:59, 18 January 2009
• ProMAS' 2009
  - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
  8 KB (977 words) - 12:59, 18 January 2009
• Ptolemy 2009
  * 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
• TIME 2009
  verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science
  6 KB (872 words) - 13:00, 18 January 2009
• ProMAS 2009
  - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
  7 KB (917 words) - 13:02, 18 January 2009

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