A bibliography on applications of formal methods within the railways domain

[   About   |  Browse   |   Statistics   ]

Number of references:	53	Last update:	February 23, 2001
Number of online publications:	2	Supported:	Unknown
Most recent reference:	1998

Information on the Bibliography

Author:

Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
The Institute of Applied Computer Science (IFAD)
Forskerparken 10
DK-5230 Odense M
Denmark

Keywords:

formal methods, railways

Browsing the bibliography

• Original source:

  ftp://ftp.ifad.dk... (Format: bibtex, compressed with gzip)

Bibliographic Statistics

Types:

inproceedings(30), techreport(10), article(4), inbook(3), phdthesis(3), book(2), mastersthesis(1)

Fields:

key(53), title(53), year(53), author(52), comment(38), publisher(33), booktitle(31), pages(27), month(25), editor(21), address(15), number(11), institution(10), note(10), series(7), volume(7), size(6), annote(4), journal(4), organization(4), school(4), chapter(2), keywords(2)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.