|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8688 occurrences of 3331 keywords
|
|
|
Results
Found 31108 publication records. Showing 31108 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Kelly Weyrauch, Mary Poppendieck, Ron Morsicato, Nancy Van Schooenderwoert, Bill Pyritz |
Agile Methods for Safety-Critical Software Development. |
XP/Agile Universe |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Yoshimi Furukawa, Hiroshi Takeda, Naohiro Yuhara, Sunao Chikamori, Masato Abe, Toichi Sawada |
Development of predicting evaluation platform of advanced driver safety assist systems using integrated virtual traffic environments. |
SMC (4) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Koushik Sen, Grigore Rosu, Gul Agha |
Online Efficient Predictive Safety Analysis of Multithreaded Programs. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Jiazheng Shi, Steve Goddard, Anagh Lal, Shane Farritor |
A Real-Time Model for the Robotic Highway Safety Marker System. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Jiong Yan, Ji Wang 0001, Huowang Chen |
UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. |
ISPA |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif |
Combining Formal Methods and Safety Analysis - The ForMoSA Approach. |
SoftSpez Final Report |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Kjeld Høyer Mortensen, Kari R. Schougaard, Ulrik Pagh Schultz |
Distance-Based Access Modifiers Applied to Safety in Home Networks. |
EUSAI |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Thuy Nguyen, Alain Ourghanlian |
Dependability Assessment of Safety-Critical System Software by Static Analysis Methods. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Jan Jürjens |
Developing Safety-Critical Systems with UML. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Meng Li, Zhu Xu |
Study on the Cost/Benefit/Optimization of Software Safety Test. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
22 | David M. Fram, June S. Almenoff, William DuMouchel |
Empirical Bayesian data mining for discovering patterns in post-marketing drug safety. |
KDD |
2003 |
DBLP DOI BibTeX RDF |
empirical Bayes methods, pharmacovigilance, post-marketing surveillance, data mining, association rules |
22 | Jan A. M. Wiegerinck |
Introduction to the risk based design of safety instrumented systems for the process industry. |
ICARCV |
2002 |
DBLP DOI BibTeX RDF |
|
22 | John C. Knight |
Safety critical systems: challenges and directions. |
ICSE |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Mariana Dumitrescu, Toader Munteanu |
Fuzzy Probability and Power System Safety. |
Fuzzy Days |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta N. Godbole |
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas |
Programmable Electronic System Design & Verification Utilizing DFM. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Orna Kupferman, Moshe Y. Vardi |
Model Checking of Safety Properties. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Hamdan Dammag, Nimal Nissanke |
Safecharts for Specifying and Designing Safety Critical Systems. |
SRDS |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Yiannis Papadopoulos, John A. McDermid |
Hierarchically Performed Hazard Origin and Propagation Studies. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ken Wong |
Looking at Code With Your Safety Goggles On. |
Ada-Europe |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Robyn R. Lutz |
Targeting Safety-Related Errors During Software Requirements Analysis. |
SIGSOFT FSE |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Brian Butka, Janusz Zalewski, Andrew J. Kornecki |
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Tool Qualification, Formal Methods, Safety-Critical Systems, Hardware Design, HDL, PLD |
21 | Kostas E. Bekris, Konstantinos I. Tsianos, Lydia E. Kavraki |
Safe and Distributed Kinodynamic Replanning for Vehicular Networks. |
Mob. Networks Appl. |
2009 |
DBLP DOI BibTeX RDF |
message-passing protocol, safety, motion planning, vehicular networks, real-time control, motion coordination |
21 | Sylvie Delaët, Shlomi Dolev, Olivier Peres |
Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground. |
OPODIS |
2009 |
DBLP DOI BibTeX RDF |
safety, self-stabilization |
21 | Torsten Gruchmann, Anfried Borgert |
The Effect of New Standards on the Global Movement Toward Usable Medical Devices. |
USAB |
2007 |
DBLP DOI BibTeX RDF |
EN 60601-1-6:2004, Use Error, Medical Product Development, Usability, Human Factors, Safety, ROI |
21 | Mohammad Ebrahim Rafiei, Mohsen Taherian, Hamid Mousavi, Ali Movaghar 0001, Rasool Jalili |
Vulnerability Analysis in VGBPS Using Prolog. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
Protection System, Safety Problem, Prolog, Vulnerability Analysis |
21 | Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa |
Compiling C Programs into a Strongly Typed Assembly Language. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
C, memory safety, typed assembly language |
21 | Alek Radjenovic, Richard F. Paige |
Architecture Description Languages for High-Integrity Real-Time Systems. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development |
21 | Nicholas Riley, Craig B. Zilles |
Hardware tansactional memory support for lightweight dynamic language evolution. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
concurrency, safety, transactional memory, Python, locking, dynamic languages |
21 | Tamer A. ElBatt, Siddhartha K. Goel, Gavin Holland, Hariharan Krishnan, Jayendra S. Parikh |
Cooperative collision warning using dedicated short range wireless communications. |
Vehicular Ad Hoc Networks |
2006 |
DBLP DOI BibTeX RDF |
broadcast rate, transmission range, simulation, metrics, safety, vehicular communications, DSRC, IEEE 802.11p |
21 | Sukdea Yu, Moonkun Lee, Gihwan Cho |
An Emergency Message Propagation Method in Highway Traffic. |
UCS |
2006 |
DBLP DOI BibTeX RDF |
Stem and Branch, Highway Traffic, Vehicle Safety Communications, Broadcasting, Selective Forwarding |
21 | Alek Radjenovic, Richard F. Paige |
The View Glue. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
view consistency, modelling, software architectures, safety critical systems, architectural views |
21 | Adam Welc, Suresh Jagannathan, Antony L. Hosking |
Safe futures for Java. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
Java, concurrency, safety, futures |
21 | Xinwen Zhang, Yingjiu Li, Divya Nalla |
An attribute-based access matrix model. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
access matrix model, access control, decidability, safety analysis |
21 | Marc Torrent-Moreno, Paolo Santi, Hannes Hartenstein |
Fair sharing of bandwidth in VANETs. |
Vehicular Ad Hoc Networks |
2005 |
DBLP DOI BibTeX RDF |
vehicular safety, ad hoc networks, fairness, power control |
21 | Kenji Itoh, Henning Boje Andersen, Masaki Seki |
Track maintenance train operators' attitudes to job, organisation and management, and their correlation with accident/incident rate. |
Cogn. Technol. Work. |
2004 |
DBLP DOI BibTeX RDF |
Attitude factors, Railway safety, FMAQ, TMAQ, Motivation, Morale |
21 | Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer |
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems |
21 | Kazumi Nakamatsu, Yosuke Kiuchi, Atsuyuki Suzuki |
EVALPSN Based Railway Interlocking Simulator. |
KES |
2004 |
DBLP DOI BibTeX RDF |
intelligent safety verification, annotated logic program, railway interlocking, EVALPSN, defeasible deontic reasoning |
21 | Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini |
A Freshness Detection Mechanism for Railway Applications. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
railway control systems, real-time, safety |
21 | Paul Townend, Jie Xu 0007, Malcolm Munro |
Building Dependable Software for Critical Applications: Multi-Version Software versus One Good Version. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
Critical software and systems, industrial embedded systems, multi-version software, reliability and safety, fault tolerance |
21 | Mats Per Erik Heimdahl, Jeffrey M. Thompson |
Specifying and Analysing System-Level Inter-Component Interfaces. |
Requir. Eng. |
2000 |
DBLP DOI BibTeX RDF |
Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML |
21 | William Currie Colket |
Code analysis of saftey-critical and real-time software using ASIS. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile |
21 | Harold W. Thimbleby |
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. |
EICS |
2009 |
DBLP DOI BibTeX RDF |
discovery tools, model checking, interaction programming |
21 | Christof Fetzer, Ute Schiffel, Martin Süßkraut |
AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
Safety Process Improvement with POSE and Alloy. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Peikenkamp, Antonella Cavallo, Laura Valacca, Eckard Böde, Matthias Pretzer, Ernst Moritz Hahn |
Towards a Unified Model-Based Safety Assessment. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Martin Hall-May, Tim Kelly |
Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber 0004, Christian Sejkora |
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Martin Skambraks |
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
21 | D. Essame |
Handling Safety Critical Requirements in System Engineering Using the B Formal Method . |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Pfitzmann |
Why Safety and Security Should and Will Merge. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Kaiser, Catharina Gramlich |
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Richard Banach, R. Cross |
Safety Requirements and Fault Trees Using Retrenchment. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Michael Cebulla |
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
Analysis and Modeling, Formal Methods, Human Factors |
21 | Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer |
Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale |
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. |
SAFECOMP |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Zsigmond Pap, István Majzik, András Pataricza |
Checking General Safety Criteria on UML Statecharts. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Hans R. Fankhauser |
Safety Functions versus Control Functions. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
21 | James S. Pascoe, Roger J. Loader |
A Survey on Safety-Critical Multicast Networking. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Andreas Schenk |
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Peter A. Lindsay, John A. McDermid, David J. Tombs |
Deriving Quantified Safety Requirements in Complex Systems. |
SAFECOMP |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Fabio Paternò, Carmen Santoro, Sophie Tahmassebi |
The Impact of Different Media on Safety and Usability of Interactive ATC Applications. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Monika Heiner, Maritta Heisel |
Modeling Safety-Critical Systems with Z and Petri Nets. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
Formal Specification and Development of a Safety-Critical Train Management System. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Chris W. Johnson 0001 |
Evaluating the Contribution of DesktopVR for Safety-Critical Applications. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Chin-Feng Fan, Swu Yih |
Safety Markup Language: Concept and Application. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Krzysztof Sacha |
Safety Verification of Software Using Structured Petri Nets. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Arndt Lindner |
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso |
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Bartosz Nowicki, Janusz Górski |
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Mohammad Nekoui, Hossein Pishro-Nik |
Reliable inter-vehicle communications for vehicular ad hoc networks. |
WICON |
2008 |
DBLP BibTeX RDF |
dedicated short range communications (DSRC), inter-vehicle communications (IVC), vehicular ad hoc networks (VANETs) |
20 | Silke Kuball |
How can Previous Component Use Contribute to Assessing the Use of COTS? |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock |
Assurance Cases for Security: The Metrics Challenge. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
20 | William Blum, C.-H. Luke Ong |
The Safe Lambda Calculus. |
TLCA |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Franck Le, Geoffrey G. Xie, Hui Zhang 0001 |
Understanding Route Redistribution. |
ICNP |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Aad Mathijssen, A. Johannes Pretorius |
Verified Design of an Automated Parking Garage. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Amy P. Felty |
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dan M. Frangopol, Min Liu |
Multiobjective Optimization for Risk-Based Maintenance and Life-Cycle Cost of Civil Infrastructure Systems. |
System Modelling and Optimization |
2005 |
DBLP DOI BibTeX RDF |
civil infrastructure, genetic algorithms, optimization, bridges, System reliability |
20 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The BLAST Software Verification System. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Benjamin Martin, James Francis |
Validation of a time-of-supply inventory policy through simulation. |
WSC |
2005 |
DBLP BibTeX RDF |
|
20 | Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter |
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees |
20 | Amit Bhatia 0001, Emilio Frazzoli |
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Elvira Albert, Germán Puebla, Manuel V. Hermenegildo |
Abstract Interpretation-Based Mobile Code Certification. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Carl Sandom, Robert D. Macredie |
Analysing situated interaction hazards: an activity-based awareness approach. |
Cogn. Technol. Work. |
2003 |
DBLP DOI BibTeX RDF |
Situation awareness, Activity theory, Situated action |
20 | Robert R. Schneck, George C. Necula |
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Gilberto Matos, James M. Purtilo, Elizabeth L. White |
Automated Computation of Decomposable Synchronization Conditions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Brian Dobbing, Marc Richard-Foy |
T-SMART - Task-Safe, Minimal Ada Realtime Toolset. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
Ada83, Software Reliability, Certification, Ada 95 |
20 | Ali-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe |
Efficient and Language-Independent Mobile Programs. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Alexei Czeskis, Ivayla Dermendjieva, Hussein Yapit, Alan Borning, Batya Friedman, Brian T. Gill, Tadayoshi Kohno |
Parenting from the pocket: value tensions and technical directions for secure and private parent-teen mobile safety. |
SOUPS |
2010 |
DBLP DOI BibTeX RDF |
direct and indirect stakeholders, parenting technologies, value dams and flows, value tensions, security, privacy, mobile phones, safety, value sensitive design, maturation, teenagers |
20 | Sonia Gantman Vilvovsky, Jane Fedorowicz |
IT outsourcing in interagency collaborations: lessons from public safety networks. |
DG.O |
2010 |
DBLP BibTeX RDF |
contracting out, interorganizational collaboration, public IT outsourcing, public safety networks |
20 | Zhe Chen 0011, Gilles Motet |
Towards better support for the evolution of safety requirements via the model monitoring approach. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
Büchi automata, safety, requirements evolution |
20 | Marc Born, John M. Favaro, Olaf Kath |
Application of ISO DIS 26262 in practice. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
model, safety, process, traceability |
20 | Rolf Johansson 0002, Stefan Bunzel, Marc Graniou, Henrik Lönn, Håkan Sivencrona, Friedhelm Stappert |
A road-map for enabling system analysis of AUTOSAR-based systems. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
ISO-26262, safety, system analysis, ADL, model-based design, AUTOSAR |
20 | Lucia Acciai, Michele Boreale |
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
behavioural types, safety, decidability, pi-calculus, spatial logic |
20 | Larry L. Constantine, Helmut Windl |
Safety, speed, and style: interaction design of an in-vehicle user interface. |
CHI Extended Abstracts |
2009 |
DBLP DOI BibTeX RDF |
in-vehicle, interaction design, automotive, safety-critical, model-driven design, user performance |
20 | Jens Braband, Rüdiger vom Hövel, Hendrik Schäbe |
Probability of Failure on Demand - The Why and the How. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
Probability of failure on demand, rate of dangerous failures, safety integrity level |
20 | Janusz Sosnowski, Dawid Trawczynski, Janusz Zalewski |
Safety Issues in Modern Bus Standards. |
Computer |
2008 |
DBLP DOI BibTeX RDF |
bus standards, standards, safety-critical applications |
20 | Daniel Jiang, Qi Chen 0011, Luca Delgrossi |
Optimal data rate selection for vehicle safety communications. |
Vehicular Ad Hoc Networks |
2008 |
DBLP DOI BibTeX RDF |
vehicle safety communications, ieee 802.11, interference, dsrc, data rate |
20 | Farah Magrabi |
Using cognitive models to evaluate safety-critical interfaces in healthcare. |
CHI Extended Abstracts |
2008 |
DBLP DOI BibTeX RDF |
healthcare, cognitive models, usability evaluation, safety-critical systems, goms |
20 | Dennis de Jong |
Participatory design and road safety and design. |
PDC |
2008 |
DBLP BibTeX RDF |
driver attitudes, road design, participatory design, road safety, driver behaviour |
Displaying result #601 - #700 of 31108 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|