Formal Aspects of Computing, Volume 15
Volume 15, Number 1, July 2003
Volume 15, Numbers 2-3, November 2003
Editorial. 101-102- Emil Sekerinski: Exploring Tabular Verification and Refinement. 215-236
- Egon Börger: The ASM Refinement Method. 237-257
- Luke Wildman, Colin J. Fidge, David A. Carrington: The Variety of Variables in Automated Real-Time Refinement. 258-279
- Bernhard K. Aichernig: Mutation Testing in the Refinement Calculus. 280-295
Volume 15, Number 4, December 2003
- Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. 299-318
- Karl Lermer, Colin J. Fidge, Ian J. Hayes: Linear Approximation of Execution-Time Constraints. 319-348
- Jörn W. Janneck: Actors and their Composition. 349-369
- Victor Bos, J. J. T. Kleijn: Redesign of a Systems Engineering Language: Formalisation of X. 370-389
- Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm: A Semantics for Distributed Execution of Statemate. 390-405
- Michael J. C. Gordon: Validating the PSL/Sugar Semantics Using Automated Reasoning. 406-421
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-09T212705 by the dblp team