Facet browsing currently unavailable
Page 1 of 1117 results
Sort by: relevance publication year
Editorial JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing |
Abstractions of non-interference security: probabilistic versus possibilistic JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing |
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics JOURNAL ARTICLE published September 2013 in Formal Aspects of Computing |
Reasoning about goal-directed real-time teleo-reactive programs JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing |
John McCarthy (1927–2011) JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing |
Winskel is (almost) Right: Towards a Mechanized Semantics Textbook JOURNAL ARTICLE published November 1998 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 |
Preface JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Formal probabilistic analysis of detection properties in wireless sensor networks JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing |
External and internal choice with event groups in Event-B JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Soundness of workflow nets: classification, decidability, and analysis JOURNAL ARTICLE published May 2011 in Formal Aspects of Computing |
Case Study: Formal Verification of a Computerized Railway Interlocking JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing |
Model checking RAISE applicative specifications JOURNAL ARTICLE published May 2013 in Formal Aspects of Computing |
Temporal-logic property preservation under Z refinement JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing |
The Humble Humorous Researcher: A Tribute to Michel Sintzoff JOURNAL ARTICLE published May 2011 in Formal Aspects of Computing |
Infinite Concurrent Systems — I. The Relationship between Metric and Order Convergence JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing |