共 50 条
- [31] Verification of probabilistic properties in HOL using the Cumulative Distribution Function INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 333 - 352
- [32] Formal Verification of Vessel Scheduling Using Probabilistic Timed Automata PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON COMPUTING AND INFORMATION TECHNOLOGY, IC2IT 2024, 2024, 973 : 65 - 72
- [33] Verification of simplified gait analysis PERIODICA POLYTECHNICA-CIVIL ENGINEERING, 2009, 53 (01): : 9 - 13
- [34] KINSHIP VERIFICATION FROM GAIT? 2020 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2020, : 2950 - 2954
- [36] PROVIDING SAFETY - USING PROBABILISTIC OR DETERMINISTIC METHODS PROCEEDINGS OF THE 9TH INTERNATIONAL PIPELINE CONFERENCE - 2012, VOL 4, 2013, : 725 - 734
- [37] A model to characterize exercises using probabilistic methods TEEM'21: NINTH INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, 2021, : 594 - 599
- [38] A recursion forms and their verification by using the inductive methods COMPUTING AND COMPUTATIONAL INTELLIGENCE, PROCEEDINGS, 2009, : 357 - +
- [39] Using Formal Methods for Verification and Validation in Railway TESTS AND PROOFS, TAP 2016, 2016, 9762 : 3 - 13