বিষয়বস্তু এড়িয়ে যান
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
Монгол
ভাষা
সমস্ত ক্ষেত্রসমূহ
আখ্যা
লেখক
বিষয়
ডাক সংখ্যা
আইসবিএন/আইএসএসএন
ট্যাগ
অনুসন্ধান
বিস্তৃত
A representative function appr...
সাইট করুন
এই পাঠটি
এই ই-মেইলটি
মুদ্রণ
নথি এক্সপোর্ট করুন
এক্সপোর্ট করুন RefWorks
এক্সপোর্ট করুন EndNoteWeb
এক্সপোর্ট করুন EndNote
স্থায়ী লিঙ্ক
A representative function approach to symmetry exploitation for CSP refinement checking
অন্যান্য সংস্করণ প্রদর্শন করুন (3)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:
Moffat, N
,
Goldsmith, M
,
Roscoe, A
বিন্যাস:
Conference item
প্রকাশিত:
2008
হোল্ডিংস
বিবরন
অন্যান্য সংস্করণ (3)
অনুরূপ উপাদানগুলি
স্টাফেদের বিবরণ দেখুন
অনুরূপ উপাদানগুলি
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)
Towards Symmetry Aware Refinement Checking (Extended Abstract)
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2007)
Assumption-commitment support for CSP model checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Assumption–Commitment Support for CSP Model Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Assumption−Commitment Support for CSP Model Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)
Assumption−Commitment Support for CSP Model Checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2006)
Model−checking CSP
অনুযায়ী: A. W. Roscoe
প্রকাশিত: (1994)
Symmetry reduction in CSP model checking
অনুযায়ী: Gibson-Robinson, T, অন্যান্য
প্রকাশিত: (2019)
Checking noninterference in Timed CSP
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (2013)
CSP and timewise refinement
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1991)
On the expressive power of CSP refinement
অনুযায়ী: Roscoe, A
প্রকাশিত: (2003)
Model checking Timed CSP
অনুযায়ী: Armstrong, P, অন্যান্য
প্রকাশিত: (2012)
Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1995)
SAT solving in CSP trace refinement
অনুযায়ী: Palikareva, H, অন্যান্য
প্রকাশিত: (2012)
SAT−solving in CSP trace refinement
অনুযায়ী: Palikareva, H, অন্যান্য
প্রকাশিত: (2011)
SAT-solving in CSP trace refinement
অনুযায়ী: Palikareva, H, অন্যান্য
প্রকাশিত: (2012)
SAT−Solving in CSP Trace Refinement
অনুযায়ী: Palikareva, H, অন্যান্য
প্রকাশিত: (2012)
FDR3 — A Modern Refinement Checker for CSP
অনুযায়ী: Gibson−Robinson, T, অন্যান্য
প্রকাশিত: (2014)
Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1995)
Finitary refinement checks for infinitary specifications
অনুযায়ী: Roscoe, A
প্রকাশিত: (2004)
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)
Watchdog transformations for property−oriented model checking
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (2003)
Watchdog Transformations for Property−Oriented Model−Checking
অনুযায়ী: Goldsmith, M, অন্যান্য
প্রকাশিত: (2003)
Watchdog transformations for property−oriented model−checking
অনুযায়ী: Goldsmith, M, অন্যান্য
প্রকাশিত: (2003)
Translating CSP trace refinement to UNITY unreachability : a study in data independence
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (2015)
Policy Refinement Checking (extended abstract)
অনুযায়ী: Goldsmith, S
প্রকাশিত: (2009)
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (2004)
On the expressiveness of CSP
অনুযায়ী: Roscoe, A
প্রকাশিত: (2011)
Refinement in Object−Z and CSP
অনুযায়ী: Bolton, C, অন্যান্য
প্রকাশিত: (2002)
The expressiveness of CSP with priority
অনুযায়ী: Roscoe, A
প্রকাশিত: (2015)
Unbounded nondeterminism in CSP
অনুযায়ী: Roscoe, A
প্রকাশিত: (1988)
CSP files
অনুযায়ী: Roscoe, T, অন্যান্য
প্রকাশিত: (2011)
The perfect ‘spy’ for model−checking cryptoprotocols
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1997)
Developing and verifying protocols in CSP
অনুযায়ী: Roscoe, A
প্রকাশিত: (1993)
CSP is expressive enough for pi
অনুযায়ী: Roscoe, A
প্রকাশিত: (2010)
প্রাকদর্শন
পরবর্তী
অনুরূপ উপাদানগুলি
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)
Towards Symmetry Aware Refinement Checking (Extended Abstract)
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2007)
Assumption-commitment support for CSP model checking
অনুযায়ী: Moffat, N, অন্যান্য
প্রকাশিত: (2008)