বিষয়বস্তু এড়িয়ে যান
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
ভাষা
সমস্ত ক্ষেত্রসমূহ
আখ্যা
লেখক
বিষয়
ডাক সংখ্যা
আইসবিএন/আইএসএসএন
ট্যাগ
অনুসন্ধান
বিস্তৃত
Towards Symmetry Aware Refinem...
সাইট করুন
এই পাঠটি
এই ই-মেইলটি
মুদ্রণ
নথি এক্সপোর্ট করুন
এক্সপোর্ট করুন RefWorks
এক্সপোর্ট করুন EndNoteWeb
এক্সপোর্ট করুন EndNote
স্থায়ী লিঙ্ক
Towards Symmetry Aware Refinement Checking (Extended Abstract)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:
Moffat, N
,
Goldsmith, M
,
Roscoe, B
বিন্যাস:
Conference item
প্রকাশিত:
2007
হোল্ডিংস
বিবরন
অনুরূপ উপাদানগুলি
স্টাফেদের বিবরণ দেখুন
অনুরূপ উপাদানগুলি
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
A representative function approach to symmetry exploitation for CSP refinement checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
A representative function approach to symmetry exploitation for CSP refinement checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Policy Refinement Checking (extended abstract)
অনুযায়ী: Goldsmith, S
প্রকাশিত: (2009)
Watchdog Transformations for Property−Oriented Model−Checking
অনুযায়ী: Goldsmith, M, অন্যান্য
প্রকাশিত: (2003)
Watchdog transformations for property−oriented model−checking
অনুযায়ী: Goldsmith, M, অন্যান্য
প্রকাশিত: (2003)
Refinement checking for privacy policies.
অনুযায়ী: Papanikolaou, N, অন্যান্য
প্রকাশিত: (2012)
Refinement checking for privacy policies
অনুযায়ী: Papanikolaou, N, অন্যান্য
প্রকাশিত: (2012)
Refinement Checking for Privacy Policies
অনুযায়ী: Goldsmith, S
প্রকাশিত: (2011)
Refinement Checking for Privacy Policies
অনুযায়ী: Goldsmith, S
প্রকাশিত: (2011)
Finitary refinement checks for infinitary specifications
অনুযায়ী: Roscoe, A
প্রকাশিত: (2004)
Watchdog transformations for property−oriented model checking
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (2003)
Abstraction refinement for large scale model checking /
অনুযায়ী: 405051 Wang, Chao, অন্যান্য
প্রকাশিত: (2006)
Assumption-commitment support for CSP model checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Assumption−Commitment Support for CSP Model Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2006)
Assumption–Commitment Support for CSP Model Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Assumption−Commitment Support for CSP Model Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Abstraction discovery and refinement for model checking by symbolic trajectory evaluation
অনুযায়ী: Adams, S
প্রকাশিত: (2014)
The perfect ‘spy’ for model−checking cryptoprotocols
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1997)
The perfect spy for model−checking crypto−protocols
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1997)
A Proof Theory for Model Checking: An Extended Abstract
অনুযায়ী: Quentin Heath, অন্যান্য
প্রকাশিত: (2017-01-01)
A type−directed abstraction refinement approach to higher−order model checking
অনুযায়ী: Ramsay, S, অন্যান্য
প্রকাশিত: (2014)
On the Application of Counterexample−Guided Abstraction refinement and data independence to the parameterised model checking problem
অনুযায়ী: Lowe, G
প্রকাশিত: (2004)
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
অনুযায়ী: Ron van der Meyden
প্রকাশিত: (2017-07-01)
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
অনুযায়ী: R van der Meyden, অন্যান্য
প্রকাশিত: (2016-06-01)
Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1995)
Refined Probabilistic Abstraction
অনুযায়ী: Wachter, B
প্রকাশিত: (2010)
Model Checking with Abstraction for Web Services
অনুযায়ী: Sharygina, N, অন্যান্য
প্রকাশিত: (2007)
Symmetry reduction in CSP model checking
অনুযায়ী: Gibson-Robinson, T, অন্যান্য
প্রকাশিত: (2019)
Towards nanoimprint lithography-aware layout design checking
অনুযায়ী: Boning, Duane S., অন্যান্য
প্রকাশিত: (2010)
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking
অনুযায়ী: Bernhard K. Aichernig, অন্যান্য
প্রকাশিত: (2012-02-01)
ACSAR: Software Model Checking with Transfinite Refinement
অনুযায়ী: Seghir, M, অন্যান্য
প্রকাশিত: (2007)
Approximation Refinement for Interpolation−Based Model Checking
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2008)
Approximation Refinement for Interpolation−Based Model Checking
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2008)
Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
অনুযায়ী: Christian Appold
প্রকাশিত: (2010-06-01)
Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract
অনুযায়ী: Zakiuddin, I, অন্যান্য
প্রকাশিত: (2003)
Model−checking CSP
অনুযায়ী: A. W. Roscoe
প্রকাশিত: (1994)
Verifying linearizability via optimized refinement checking
অনুযায়ী: Dong, Jin Song, অন্যান্য
প্রকাশিত: (2013)
Correct and Efficient Antichain Algorithms for Refinement Checking
অনুযায়ী: Maurice Laveaux, অন্যান্য
প্রকাশিত: (2021-02-01)
প্রাকদর্শন
পরবর্তী
অনুরূপ উপাদানগুলি
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
A representative function approach to symmetry exploitation for CSP refinement checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
A representative function approach to symmetry exploitation for CSP refinement checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Policy Refinement Checking (extended abstract)
অনুযায়ী: Goldsmith, S
প্রকাশিত: (2009)