Անցեք բովանդակությանը
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
Монгол
Լեզու
Բոլոր դաշտերը
Վերնագիր
Հեղինակ
Խորագիր
Դասիչ
ISBN/ISSN
Ցուցիչ
Գտեք
Ընդլայնված
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)
Prev
Հաջորդը
Նմանատիպ նյութեր
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)
