Facet browsing currently unavailable
Page 3 of 1117 results
Sort by: relevance publication year
Editorial JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing |
A compositional automata-based semantics and preserving transformation rules for testing property patterns JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing |
Time-budgeting : a component based development methodology for real-time embedded systems JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing |
Discovery of invariants through automated theory formation JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing |
A Refinement Strategy for Circus JOURNAL ARTICLE published November 2003 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 |
Constraint logic programming with a relational machine JOURNAL ARTICLE published January 2017 in Formal Aspects of Computing Research funded by Comunidad de Madrid (S2013/ICE-2731) | MINECO (TIN2012-39391-C04-03 (StrongSoft)) | ANR (Feever) |
Kaisa Sere: In Memoriam JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing |
Bernhard Steffen, Oliver R¨uthing, and MichaelHuth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches JOURNAL ARTICLE published November 2019 in Formal Aspects of Computing |
A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems JOURNAL ARTICLE published 31 March 2023 in Formal Aspects of Computing Research funded by EPSRC STRATA platform (EP/N023641/1) | Air Force Office of Scientific Research (FA2386-17-1-4065) | DISCONT Project of the French National Research Agency (ANR-17-CE25-0005) |
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing Research funded by National Natural Science Foundation of China (61872145) | National Key Research and Development Program of China (2018YFB2101300) |
Case Study: Formal Verification of a Computerized Railway Interlocking JOURNAL ARTICLE published April 1998 in Formal Aspects of Computing |
On the Interactive Power of Higher-order Processes Extended with Parameterization JOURNAL ARTICLE published March 2021 in Formal Aspects of Computing Research funded by National Natural Science Foundation of China (61872142) | National Natural Science Foundation of China (61772336) | National Natural Science Foundation of China (61572318) |
Cut branches before looking for bugs: certifiably sound verification on relaxed slices JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing |
Compositional Verification of Railway Interlocking Systems JOURNAL ARTICLE published 31 March 2023 in Formal Aspects of Computing |
Synthesizing bounded-time 2-phase fault recovery JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing |
Introducing extra operations in refinement JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing |
Model checking RAISE applicative specifications JOURNAL ARTICLE published May 2013 in Formal Aspects of Computing |