|
sawine@0
|
1 |
@book{iec_61508,
|
|
sawine@0
|
2 |
author="International Electrotechnical Commission",
|
|
sawine@0
|
3 |
publisher="IEC",
|
|
sawine@0
|
4 |
title="IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems",
|
|
sawine@0
|
5 |
year="1998/2005"
|
|
sawine@0
|
6 |
}
|
|
sawine@0
|
7 |
@book{personal,
|
|
sawine@0
|
8 |
author="Rodney May",
|
|
sawine@0
|
9 |
publisher="Programmable Electronics and Safety Systems: Issues, Standards and Practical Aspects",
|
|
sawine@0
|
10 |
title="Personal Competencies and the Requirements of IEC 61508",
|
|
sawine@0
|
11 |
year=2002
|
|
sawine@0
|
12 |
}
|
|
sawine@0
|
13 |
@book{moderne_flugsicherung,
|
|
sawine@0
|
14 |
author="Heinrich Mensen",
|
|
sawine@0
|
15 |
publisher="Springer",
|
|
sawine@0
|
16 |
title="Moderne Flugsicherung - Organisation, Verfahren, Technik",
|
|
sawine@0
|
17 |
year=2004
|
|
sawine@0
|
18 |
}
|
|
sawine@0
|
19 |
@book{compilers,
|
|
sawine@0
|
20 |
author="Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman",
|
|
sawine@0
|
21 |
publisher="Addison Wesley",
|
|
sawine@0
|
22 |
title="Compilers - Principles, Techniques and Tools",
|
|
sawine@0
|
23 |
year=2007
|
|
sawine@0
|
24 |
}
|
|
sawine@0
|
25 |
@book{code_gen,
|
|
sawine@0
|
26 |
author="Tilman Gloetzner",
|
|
sawine@0
|
27 |
publisher="3rd IET International conference on System Safety",
|
|
sawine@0
|
28 |
title="IEC 61508 Certification of a Code Generator",
|
|
sawine@0
|
29 |
year=2008
|
|
sawine@0
|
30 |
}
|
|
sawine@0
|
31 |
@book{eurocontrol_dman,
|
|
sawine@0
|
32 |
author="E. Dubouchet and G. Mavoian and E.Page",
|
|
sawine@0
|
33 |
publisher="EUROCONTROL / CENA",
|
|
sawine@0
|
34 |
title="PHARE - Advanced Tools Departure Manager",
|
|
sawine@0
|
35 |
year=1999
|
|
sawine@0
|
36 |
}
|
|
sawine@0
|
37 |
@book{lex_paper,
|
|
sawine@0
|
38 |
author="M. E. Lesk and E. Schmidt",
|
|
sawine@0
|
39 |
publisher="The University of Texas At Austin \emph{(Online)}",
|
|
sawine@0
|
40 |
title="Lex -- A Lexical Analyser Generator"
|
|
sawine@0
|
41 |
}
|
|
sawine@0
|
42 |
@book{yacc_paper,
|
|
sawine@0
|
43 |
author="Stephen C. Johnson",
|
|
sawine@0
|
44 |
publisher="The University of Texas At Austin \emph{(Online)}",
|
|
sawine@0
|
45 |
title="Yacc: Yet Another Compiler-Compiler"
|
|
sawine@0
|
46 |
}
|
|
sawine@0
|
47 |
@book{bison_manual,
|
|
sawine@0
|
48 |
author="Charles Donnelly and Richard Stallman",
|
|
sawine@0
|
49 |
publisher="Free Software Foundation",
|
|
sawine@0
|
50 |
title="Bison -- The Yacc-compatible Parser Generator",
|
|
sawine@0
|
51 |
year=2009
|
|
sawine@0
|
52 |
}
|
|
sawine@0
|
53 |
@book{flex_manual,
|
|
sawine@0
|
54 |
author="Vern Paxson and Will Estes and John Millaway",
|
|
sawine@0
|
55 |
publisher="The Flex Project",
|
|
sawine@0
|
56 |
title="The flex Manual",
|
|
sawine@0
|
57 |
year=2007
|
|
sawine@0
|
58 |
}
|
|
sawine@0
|
59 |
@book{lex_yacc_guide,
|
|
sawine@0
|
60 |
author="Tom Niemann",
|
|
sawine@0
|
61 |
publisher="epaperpress.com",
|
|
sawine@0
|
62 |
title="A Compact Guide to Lex and Yacc"
|
|
sawine@0
|
63 |
}
|
|
sawine@0
|
64 |
@book{icao_4444,
|
|
sawine@0
|
65 |
author="International Civil Aviation Organization",
|
|
sawine@0
|
66 |
publisher="ICAO",
|
|
sawine@0
|
67 |
title="Procedures for Air Navigation Services: Rules of the Air and Air Traffic Services",
|
|
sawine@0
|
68 |
year=1996
|
|
sawine@0
|
69 |
}
|
|
sawine@0
|
70 |
@book{flugleiter_dman,
|
|
sawine@0
|
71 |
author="Marek Kluzniak",
|
|
sawine@0
|
72 |
publisher="Der Flugleiter -- Gewerkschaft der Flugsicherung GdF",
|
|
sawine@0
|
73 |
title="Departure Manager DMAN Frankfurt",
|
|
sawine@0
|
74 |
year="April, 2007"
|
|
sawine@0
|
75 |
}
|
|
sawine@0
|
76 |
@book{design_patterns,
|
|
sawine@0
|
77 |
author="Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",
|
|
sawine@0
|
78 |
publisher="Addison-Wesley Longman",
|
|
sawine@0
|
79 |
title="Design Patterns. Elements of Reusable Object-Oriented Software",
|
|
sawine@0
|
80 |
year=1995
|
|
sawine@0
|
81 |
}
|
|
sawine@0
|
82 |
@book{ebnf,
|
|
sawine@0
|
83 |
author="Niklaus Wirth",
|
|
sawine@0
|
84 |
publisher="ACM",
|
|
sawine@0
|
85 |
title="Communications of the ACM",
|
|
sawine@0
|
86 |
year=1977
|
|
sawine@0
|
87 |
}
|