San Francisco / Timed Knowledge / Moscow / Barcelona / Ithaca / Cambridge / Keywords Knowledge / London / Brussels / /
Company
HighRisk Technologies / Computer-Based Systems / MIT Press / the Boeing / Princeton University Press / Honeywell / Human Reliability Associates / Lawrence Erlbaum Associates / Cognition & Human-Computer Lawrence Erlbaum Associates / Cornell University Press / Harward University Press / /
Country
Italy / Belgium / Russia / Spain / / /
Facility
University of York / The University of Edinburgh / Informatics University of Edinburgh King’s Buildings / /
IndustryTerm
material tool / real-time temporal logic / multi-media systems / distributed systems / sociotechnical systems / social-technical systems / adjacent air traffic control services / safety-critical systems / health systems / technology-mediated activities / socio-technical systems / /
Organization
Stuart Anderson School / University of York / MIT / Princeton University / Summer School on Verification of Digital and Hybrid Systems / Cornell University / North Atlantic Treaty Organization / Informatics University of Edinburgh King / University of Edinburgh / Research Centre for Social Sciences / /
Person
Juliana Küster Filipe / Morgan Kaufmann / Simone Pozzi / Alberto Pasquini / Gordon Baxter / Mark-Alexander Sujan / / /
Position
Garland D. J. / Traffic Controller / controller / /
Timed Knowledge-based Modelling and Analysis: On the Dependability of Socio-technical Systems Juliana Küster Filipe, Massimo Felici and Stuart Anderson