Checking Concurrent Contracts with Aspects

Checking Concurrent Contracts with Aspects

Show other versions (1)

Manylion Llyfryddiaeth
Prif Awduron:	Kerfoot, E, McKeever, S
Fformat:	Conference item
Cyhoeddwyd:	2010

Eitemau Tebyg

Checking concurrent contracts with aspects
gan: Kerfoot, E, et al.
Cyhoeddwyd: (2010)

Maintaining Invariants Through Object Coupling Mechanisms
gan: Kerfoot, E, et al.
Cyhoeddwyd: (2007)

Deadlock Freedom Through Object Ownership
gan: Kerfoot, E, et al.
Cyhoeddwyd: (2009)

New methods of concurrent checking /
gan: Goessel, Michael
Cyhoeddwyd: (2008)

Model Checking Concurrent Linux Device Drivers
gan: Witkowski, T, et al.
Cyhoeddwyd: (2007)

Model checking concurrent linux device drivers
gan: Witkowski, T, et al.
Cyhoeddwyd: (2007)

Ensiklopedia sains /
gan: McKeever, Susan
Cyhoeddwyd: (1996)

Is Conscience Best Understood as a Particular Form of Consciousness? Theological and Ethical Reflections Inspired by the Phenomenology of Maurice Merleau-Ponty
gan: Martin McKeever
Cyhoeddwyd: (2022-12-01)

Microprudential bank capital regulation in a complex system
gan: Daniel McKeever
Cyhoeddwyd: (2023-03-01)

Validating the Performance of a Prototype Phase Change Material for a Thermal Energy Storage Tank, Connected to a Micro-CHP
gan: Mick McKeever
Cyhoeddwyd: (2015-12-01)

Moral i jezik: poučna analogija o osobnom i zajedničkom identitetu u procesu globalizacije
gan: Martin McKeever
Cyhoeddwyd: (2003-01-01)

Trends in the control of theileriosis in sub-Saharan Africa : tick-borne diseases
gan: D. McKeever
Cyhoeddwyd: (2009-09-01)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
gan: Clarke, E, et al.
Cyhoeddwyd: (2007)

Compositional model checking of concurrent systems, with Petri nets
gan: Paweł Sobociński
Cyhoeddwyd: (2016-03-01)

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
gan: McKeever, S, et al.
Cyhoeddwyd: (2001)

Modular Markup for Simulating Vascular Tumour Growth
gan: Johnson, A, et al.
Cyhoeddwyd: (2012)

Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
gan: McKeever, S, et al.
Cyhoeddwyd: (2006)

Experience Report: A Haskell interpreter for CellML
gan: Cooper, J, et al.
Cyhoeddwyd: (2007)

A Declarative Framework for Developing Parametrised Hardware Libraries
gan: McKeever, S, et al.
Cyhoeddwyd: (2001)

Array Synthesis in SystemC Hardware Compilation
gan: Ditmar, J, et al.
Cyhoeddwyd: (2007)

Community builders handbook/
gan: McKeever, J. Ross
Cyhoeddwyd: (1968)

A model−driven approach to automatic conversion of physical units
gan: Cooper, J, et al.
Cyhoeddwyd: (2008)

Thermoluminescence of solids /
gan: McKeever, S. W. S., 1950-
Cyhoeddwyd: (c198)

Experience Report: A Haskell Interpreter for CellML
gan: Cooper, J, et al.
Cyhoeddwyd: (2007)

Pebble: A Language for Parametrised and Reconfigurable Hardware Design
gan: Luk, W, et al.
Cyhoeddwyd: (1998)

The Case for Using Markup for Biomechanical Modelling
gan: Johnson, D, et al.
Cyhoeddwyd: (2011)

Shopping centers re-studied : emerging patterns and practical experiences /
gan: McKeever, J. Ross
Cyhoeddwyd: (1957)

A review of the optically and thermally stimulated luminescence properties of aluminosilicates
gan: S.W.S. McKeever
Cyhoeddwyd: (2024-12-01)

Le progrès vers un vaccin contre <em>Theileria parva</em> : Pertinence pour la recherche sur la cowdriose
gan: Declan J. McKeever
Cyhoeddwyd: (1993-01-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
gan: Kwiatkowska, M, et al.
Cyhoeddwyd: (2019)

Partial orders for efficient bounded model checking of concurrent software
gan: Alglave, J, et al.
Cyhoeddwyd: (2013)

SoS contract verification using statistical model checking
gan: Alessandro Mignogna, et al.
Cyhoeddwyd: (2013-11-01)

Path planning for an autonomous vehicle
gan: McKeever, Scott Douglas, 1976-
Cyhoeddwyd: (2005)

Apartment development : a strategy for successful decision making /
gan: 388582 McKeever, J. Ross
Cyhoeddwyd: (1974)

Shopping center zoning/
gan: 388582 McKeever, J. Ross
Cyhoeddwyd: (1973)

Occlusal variation in the Zuni: a pre-contact North American population
gan: McKeever Aidan, et al.
Cyhoeddwyd: (2013-05-01)

Converting Biomolecular Modelling Data Based on an XML Representation
gan: Sun Yudong, et al.
Cyhoeddwyd: (2008-06-01)

What Are the Client, Organisational and Employee-Related Outcomes of High Quality Leadership in the Allied Health Professions? A scoping review.
gan: Janice McKeever, et al.
Cyhoeddwyd: (2019-07-01)

Testing and concurrent checking for plas and related checker design issues / [mikrofilem]
gan: 400971 Khakbaz, Javad

Verifying functional properties of smart contracts using symbolic model-checking
gan: E. S. Shishkin
Cyhoeddwyd: (2018-12-01)