Search results

Jump to: navigation, search
  • ...ast years, and many attempts at using formal methods for specification and verification in this setting have been made. Session correlation, service types, contrac
    7 KB (957 words) - 14:15, 11 August 2008
  • ** Verification and validation ** Verification and validation
    6 KB (777 words) - 21:54, 14 August 2008
  • * verification and validation for GDRE
    4 KB (471 words) - 22:33, 13 August 2008
  • * Web application evaluation, verification and validation
    6 KB (871 words) - 04:51, 26 August 2008
  • specification, design, verification, validation, testing, maintenance,
    5 KB (715 words) - 16:43, 11 September 2008
  • for design, development, testing, analysis, and verification of correct
    5 KB (614 words) - 16:22, 11 September 2008
  • properties (like cooperation, coordination etc...), agent verification
    10 KB (1,371 words) - 15:14, 12 November 2020
  • ...n different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling. * 2. Design and verification methods for composition of concurrent systems: Multi-core architectures, ne
    5 KB (708 words) - 17:23, 13 October 2008
  • Software Verification and Model Checking
    2 KB (293 words) - 09:35, 24 June 2011
  • ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
    9 KB (1,216 words) - 16:32, 14 October 2008
  • Verification and validation (including model checking) of dependable software architectu
    7 KB (960 words) - 16:48, 14 October 2008
  • ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo
    4 KB (459 words) - 20:03, 14 October 2008
  • ...lgorithms for: analytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and
    3 KB (361 words) - 20:16, 14 October 2008
  • ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
    4 KB (575 words) - 13:56, 27 December 2015
  • - Reliability: verification and validation; model checking; =
    9 KB (1,193 words) - 21:53, 14 October 2008
  • �?� Cooperative design analysis, verification, integration and interoperability, standards
    4 KB (468 words) - 21:54, 14 October 2008
  • - automata for system analysis and programme verification
    6 KB (788 words) - 22:01, 14 October 2008
  • * formal methods for verification of multi-agent systems
    5 KB (670 words) - 22:04, 14 October 2008
  • - Program and system verification
    5 KB (799 words) - 20:49, 26 February 2020
  • Petri nets (system design/verification with nets, protocols and networks)
    5 KB (634 words) - 22:05, 14 October 2008

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