Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
15.8 Bibliographical Notes
D. Bjørner: The Grand Challenge — FAQs of the R&D of a Railway Domain Theory. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic, Amsterdam, The Netherlands 2004)
T.C. Giras: A Stochastic Framework for Train Domain Theories. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic, Amsterdam. The Netherlands 2004)
A.A. McEwan, J. Woodcock: The need for integrated formal methods in specifying models of railways. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic, Amsterdam, The Netherlands 2004)
T. Ogino: CyberRail and the TRain R&D. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic, Amsterdam, The Netherlands 2004)
M. Pěnička: From railway resource planning to train operation. In: IFIP World Computer Congress, Topical, Days: TRain: The Railway Domain (Kluwer Academic, Amsterdam, The Netherlands 2004)
W. Reif: Integrated formal methods for safety analysis. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic Press. Amsterdam, The Netherlands 2004)
D. Sabatier: Domain oriented formal models in industry. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic Press, Amsterdam, The Netherlands 2004)
E. Schnieder: TRain: transportation engineering meets computing science. In: IFIP World Computer Congress, Topical Days: TRain: The Railway Domain (Kluwer Academic, Amsterdam, The Netherlands 2004)
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Towards Domain Theories. In: Software Engineering 3. Texts in Theoretical Computer Science An EATC Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33653-2_15
Download citation
DOI: https://doi.org/10.1007/3-540-33653-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21151-8
Online ISBN: 978-3-540-33653-2
eBook Packages: Computer ScienceComputer Science (R0)