Facet browsing currently unavailable
Page 5 of 1117 results
Sort by: relevance publication year
Abstraction and Testing in CSP JOURNAL ARTICLE published November 2000 in Formal Aspects of Computing |
Program verification with interacting analysis plugins JOURNAL ARTICLE published August 2007 in Formal Aspects of Computing |
Preface JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing |
Relating trace refinement and linearizability JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing Research funded by Australian Research Council (DP160102457,DP130102901) |
Correct-by-construction model driven engineering composition operators JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing |
Modeling and validating Mondex scenarios described in UML and OCL with USE JOURNAL ARTICLE published January 2008 in Formal Aspects of Computing |
Atomic actions, and their refinements to isolated protocols JOURNAL ARTICLE published January 2010 in Formal Aspects of Computing |
Special section of Tests and Proofs 2016 JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing |
Capture-avoiding substitution as a nominal algebra JOURNAL ARTICLE published July 2008 in Formal Aspects of Computing |
Gerard O’Regan: Concise Guide to FormalMethods: Theory, Fundamentals and IndustryApplications JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing |
Communicating processes with value-passing and assignments JOURNAL ARTICLE published September 1993 in Formal Aspects of Computing |
Probabilistic Bigraphs JOURNAL ARTICLE published 30 June 2022 in Formal Aspects of Computing Research funded by Engineering and Physical Sciences Research Council (EP/N007565/1) | S4: Science of Sensor Systems Software, and by PETRAS SRF (EP/S035362/1) |
Synthesizing bounded-time 2-phase fault recovery JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing |
Architectural refinement and notions of intransitive noninterference JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Refinement concepts formalised in higher order logic JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
A single complete rule for data refinement JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing |
Deterministic concurrent strategies JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Balancing expressiveness in formal approaches to concurrency JOURNAL ARTICLE published May 2015 in Formal Aspects of Computing |
Investigating the Integration of two Formal Methods JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing |
Graph Transformation Units with Interleaving Semantics JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing |