bachelorthesis: paper/src/references.bib@189c28168c97

     1 @book{iec_61508,

     2 	author="International Electrotechnical Commission",

     3 	publisher="IEC",

     4 	title="IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems",

     5 	year="1998/2005"

6 }

     7 @book{personal,

     8 	author="Rodney May",

     9 	publisher="Programmable Electronics and Safety Systems: Issues, Standards and Practical Aspects",

    10 	title="Personal Competencies and the Requirements of IEC 61508",

    11 	year=2002

    12 }

    13 @book{moderne_flugsicherung,

    14 	author="Heinrich Mensen",

    15 	publisher="Springer",

    16 	title="Moderne Flugsicherung - Organisation, Verfahren, Technik",

    17 	year=2004

    18 }

    19 @book{compilers,

    20 	author="Alfred V. Aho and Monica S. Lam and Ravi Sethi and Jeffrey D. Ullman",

    21 	publisher="Addison Wesley",

    22 	title="Compilers - Principles, Techniques and Tools",

    23 	year=2007

    24 }

    25 @book{code_gen,

    26 	author="Tilman Gloetzner",

    27 	publisher="3rd IET International conference on System Safety",

    28 	title="IEC 61508 Certification of a Code Generator",

    29 	year=2008

    30 }

    31 @book{eurocontrol_dman,

    32 	author="E. Dubouchet and G. Mavoian and E.Page",

    33 	publisher="EUROCONTROL / CENA",

    34 	title="PHARE - Advanced Tools Departure Manager",

    35 	year=1999

    36 }

    37 @book{lex_paper,

    38 	author="M. E. Lesk and E. Schmidt",

    39 	publisher="The University of Texas At Austin \emph{(Online)}",

    40 	title="Lex -- A Lexical Analyser Generator"

    41 }

    42 @book{yacc_paper,

    43 	author="Stephen C. Johnson",

    44 	publisher="The University of Texas At Austin \emph{(Online)}",

    45 	title="Yacc: Yet Another Compiler-Compiler"

    46 }

    47 @book{bison_manual,

    48 	author="Charles Donnelly and Richard Stallman",

    49 	publisher="Free Software Foundation",

    50 	title="Bison -- The Yacc-compatible Parser Generator",

    51 	year=2009

    52 }

    53 @book{flex_manual,

    54 	author="Vern Paxson and Will Estes and John Millaway",

    55 	publisher="The Flex Project",

    56 	title="The flex Manual",

    57 	year=2007

    58 }

    59 @book{lex_yacc_guide,

    60 	author="Tom Niemann",

    61 	publisher="epaperpress.com",

    62 	title="A Compact Guide to Lex and Yacc"

    63 }

    64 @book{icao_4444,

    65 	author="International Civil Aviation Organization",

    66 	publisher="ICAO",

    67 	title="Procedures for Air Navigation Services: Rules of the Air and Air Traffic Services",

    68 	year=1996

    69 }

    70 @book{flugleiter_dman,

    71 	author="Marek Kluzniak",

    72 	publisher="Der Flugleiter -- Gewerkschaft der Flugsicherung GdF",

    73 	title="Departure Manager DMAN Frankfurt",

    74 	year="April, 2007"

    75 }

    76 @book{design_patterns,

    77 	author="Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides",

    78 	publisher="Addison-Wesley Longman",

    79 	title="Design Patterns. Elements of Reusable Object-Oriented Software",

    80 	year=1995

    81 }

    82 @book{ebnf,

    83 	author="Niklaus Wirth",

    84 	publisher="ACM",

    85 	title="Communications of the ACM",

    86 	year=1977

    87 }

author	Eugen Sawin <sawine@me73.com>
	Fri, 25 Mar 2011 15:57:06 +0100
changeset 6	189c28168c97
permissions	-rw-r--r--