Piscataway / Barcelona / Montréal / Pasadena / Raleigh / Boston / New York / Stockholm / Washington / D.C. / Berlin / Cambridge / Wellington / Warwickshire / /
Company
Jet Propulsion Laboratory / IEEE Computer / Computer Science Laboratory / Figure 11 / ACM Press / Toyota / SRI International / Critical Systems / IEEE Press / NASA’s Jet Propulsion Laboratory / Mars Science Laboratory / MIRA Ltd. / Flight Software / /
Country
Sweden / New Zealand / Canada / Columbia / Spain / United Kingdom / /
Currency
USD / / /
Facility
Mars Science Laboratory / Victoria University / California Institute of Technology / Concordia University / /
Victoria University / California Institute of Technology / Concordia University / National Aeronautics and Space Administration / /
Person
Lamport / Job Ticket Code Review Closeout / Carl Sagan / Brian Greenberg / Gerard J. Holzmann / / /
Position
test writer / simple test driver / model extractor / astronomer / scientist / demonic process scheduler / sample test driver / designer / example test driver / writer / /
ProgrammingLanguage
R / C / L / /
ProvinceOrState
New Jersey / New York / Victoria / North Carolina / California / Massachusetts / Colorado / /
PublishedMedium
IEEE Annals of the History of Computing / IEEE Transactions on Software Engineering / Bell Labs Technical Journal / Innovations in Systems and Software Engineering / /
Technology
Information Technology / concurrent algorithm / data hiding / pdf / real-time operating system / dual-CPU bootcontrol algorithm / http / non-blocking algorithm / simulation / internal verification algorithm / flash / /