|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1958 occurrences of 945 keywords
|
|
|
Results
Found 3572 publication records. Showing 3572 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski |
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 82-92, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Tariq Mahmood, Edmund Kazmierczak, Tim Kelly, Dennis Plunkett |
Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 175-182, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Mário Brito, John May |
Safety Critical Software Process Improvement by Multi-objective Optimization Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007, Proceedings, pp. 96-108, 2007, Springer, 978-3-540-72425-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software Safety standards, Bayesian belief networks - Genetic Algorithms |
27 | Gregory C. Sharp, Nagarajan Kandasamy |
A Dependable System Architecture for Safety-Critical Respiratory-Gated Radiation Therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings, pp. 55-60, 2006, IEEE Computer Society, 0-7695-2607-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Weihang Wu, Tim Kelly |
Managing Architectural Design Decisions for Safety-Critical Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QoSA ![In: Quality of Software Architectures, Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers, pp. 59-77, 2006, Springer, 3-540-48819-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Athanasios Kakarountas, Vassilis Spiliotopoulos, Spiridon Nikolaidis 0001, Constantinos E. Goutis |
The Impact of Low-Power Techniques on the Design of Portable Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings, pp. 501-509, 2004, Springer, 3-540-23095-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Derek Fowler, Phil Bennett |
IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems?? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 250-263, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | George Romanski |
The Development and Verification of Safety Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 411, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Souâd Taouil-Traverson, Sylvie Vignes |
Designing a B Model for Safety-Critical Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, pp. 210-225, 1998, Springer, 3-540-64405-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(2), pp. 99-106, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
cyclotron, Formal specification, safety, Z, process control, medical applications, radiation therapy |
27 | Jonathan Jacky |
Specifying a Safety-Critical Control System in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 388-402, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Jonas Elmqvist, Simin Nadjm-Tehrani |
Tool Support for Incremental Failure Mode and Effects Analysis of Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 921-927, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Kain, Hao Ding 0001, Frank Schiller, Olaf Stursberg |
Controller Architecture for Safe Cognitive Technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007., pp. 518-531, 2007, Springer, 978-3-540-75100-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
cognitive controllers, learning, safety, hybrid systems, cognitive systems |
26 | Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001 |
Model Based Integration of Safety Analysis and Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea, pp. 323-326, 2006, IEEE Computer Society, 0-7695-2561-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones |
Model-Based Integration of Safety Analysis and Reliable Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 312-319, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle 0001 |
Certification Support for Automatically Generated Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 337, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Gang Yu, Zhongwei Xu, Junwei Du |
An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 166-169, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Donald Firesmith |
Engineering Safety Requirements, Safety Constraints, and Safety-Critical Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 3(3), pp. 27-42, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Dirk Beyer 0001 |
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022, pp. 1-2, 2022, ACM, 978-1-4503-9907-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Liang Ma, Yadong Zhang, Xiaomin Wang |
Management-Control Integration for Safety-Critical Integration for Safety-Critical Discrete Operation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAIS ![In: 2018 International Conference on Control, Automation and Information Sciences, ICCAIS 2018, Hangzhou, China, October 24-27, 2018, pp. 434-439, 2018, IEEE, 978-1-5386-6020-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | John Törnblom, Simin Nadjm-Tehrani |
Formal Verification of Random Forests in Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, pp. 55-71, 2018, Springer, 978-3-030-12987-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Geir Kjetil Hanssen, Thor Myklebust, Stig Ole Johnsen, Osama Doss |
Trends in agile development of safety-critical software: a summary of the 3d international workshop on agile development of safety-critical software (ASCS 2017). ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP Workshops ![In: Proceedings of the XP2017 Scientific Workshops, Cologne, Germany, May 22 - 26, 2017, pp. 20:1-20:3, 2017, ACM, 978-1-4503-5264-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jingyi Bin |
Controlling execution time variability using COTS for Safety-critical systems. (Contrôler la variabilité du temps d'exécution en utilisant COTS pour les systèmes Safety-critical). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
26 | Manuel I. Capel, Luis E. Mendoza Morales |
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, pp. 105-112, 2012, SciTePress, 978-989-8565-11-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
26 | Jean-Luc Valk, Hans Vis, Gerard Koning |
Phileas, a Safety Critical Trip around the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Making Systems Safer - Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, February 9-11, 2010, pp. 115-126, 2010, Springer, 978-1-84996-085-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Chris Dale, Tom Anderson 0001 (eds.) |
Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-1-84882-348-8 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | John Alexander McDermid, Martyn Thomas, Felix Redmill |
Professional Issues in System Safety Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 135-145, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Dave Hughes, Amer Saeed |
Hazard Management with DOORS: Rail Infrastructure Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 71-93, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | George Davies |
What is Clinical Safety in Electronic Health Care Record Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 167-175, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Alan Fisher |
Accidents - Policy and Punishment Are there boundar ies to the effectiveness of cr iminal sanctions in preventing accidental conduct? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 119-134, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin |
Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 95-115, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Nancy G. Leveson |
The Need for New Paradigms in Safety Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 3-20, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Stephen Drabble |
Safety Process Measur ement - Are we ther e yet? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 195-207, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Tim Clement |
The Morality and Economics of Safety in Defence Procurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 39-54, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Mike Jones-Lee |
Safety Expenditur e: wher e should we draw the Line? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 55-67, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Wayne Flint, Ian Gilchr ist |
Software Testing and IEC 61508 - Project Case Study and Further Thoughts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 211-221, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Catherine Menon, Richard Hawkins, John A. McDermid |
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 223-243, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | John Adams |
Risk Management: the Economics and Mor ality of Safety Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 23-37, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Robert Lewis |
Safety Case Development as an Information Modelling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 183-193, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Iain Bate, Philippa Conmy |
Certification of FPGAs - Current Issues and Possible Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 149-165, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Glen Wilkinson, Rhys David |
Back to Basics: Risk Matr ices and ALARP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: Problems, Process and Practice - Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, February 3-5, 2009, pp. 179-182, 2009, Springer, 978-1-84882-348-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yi Zhang 0014, Wandong Cai, Yue Wang |
Adaptive Safety Critical Middleware for Distributed and Embedded Safety Critical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM (1) ![In: NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008 - Volume 1, pp. 162-166, 2008, IEEE Computer Society, 978-0-7695-3322-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Felix Redmill, Tom Anderson 0001 (eds.) |
Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-540-76189-1 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Shoky Visram |
Managing Safety Within A Large And Complex Air Traffic Control Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 93-111, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | R. E. Jennings |
Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 222-232, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Richard Granville, Keith Harrison |
Use of Static Code Analysis to Support the Safety Certification of Airborne Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 169-183, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Trevor Cockram, Reg Parker, David Tiley, Jane Smith |
A System Requirements Traceability Model: An Industrial Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 44-61, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ceri Rees, Vivien Hamilton |
Independent Safety Auditing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 126-136, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Gustaf Myhrman |
Developments for Safer Systems in the Swedish Defence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 82-92, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Peter Bishop 0001, Robin Bloomfield |
A Methodology for Safety Case Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 194-203, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Maurice Pritchard |
'Safeguarding Systems: In-Service Management'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 137-149, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Rupert Brown |
Improving the Production and Presentation of Safety Cases through the use of Intranet Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 184-193, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | N. C. Knowles |
On the Validation of Finite Element Models - an Industrial Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 204-210, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ian Spalding |
Principles of Engineering Safety Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 27-43, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | R. May, John A. McDermid, I. H. A. Johnston |
COTS in Safety-Related Systems Issues and an Illustration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 211-221, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Brian A. Wichmann |
Ada for High Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 70-81, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | A. G. Hessami |
Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Industrial Perspectives of Safety-critical Systems - Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham, UK, 1998, pp. 112-125, 1998, Springer, 978-3-540-76189-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Felix Redmill, Tom Anderson 0001 (eds.) |
Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![Springer, 978-3-540-76009-2 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Paul Wilhelmij, Tony Holden, Barrie Reynolds, Boon Horng Liew |
LIFETRACK - Enhancing Team Knowledge and Corporate Memory in Petrochemical Operations through Sharing Lessons Learnt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 13-43, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Floor Koornneef, André Spijkervet, Jurek Karczewski |
Organisational Learning using Near-Miss and Accident Data within and outside your Organisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 153-167, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Sophia Langley, Peter Jarratt |
Classifying & Managing Risk: The RATIFI Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 200-208, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Martin Neil, Bev Littlewood, Norman E. Fenton |
Applying Bayesian Belief Networks to System Dependability Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 71-94, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | R. C. Sugden, M. R. Strens, John E. Dobson |
Meeting the Challenge of Changing Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 1-12, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | John Alexander McDermid |
Software Hazard and Safety Analysis: Opportunities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 209-221, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Robin Cook |
Management of Dependability a Railway Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 61-70, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Tim M. Bull, Keith H. Bennett |
System Safety through Formal Domain-Specific Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 243-265, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | S. N. Gandy |
Managing "Risky" Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 44-60, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Andrew M. Dearden, Michael D. Harrison |
Impact as a Human Factor in Interactive System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 184-199, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | M. A. Watson-Walker, R. J. Gray |
The Institution of Railway Signal Engineers Licensing Scheme - Promoting Competence in the Workplace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 124-138, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Jacqui Griffyth |
Human Issues in the Software Development Process - Modelling Their Influence on Productivity and Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 105-123, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Stan Price |
Exploit (Technology) or Die. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 95-104, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | P. A. Barber, D. P. Smith |
Effects of Technology on the Safety of Automotive Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 266-284, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Peter Ayton, David K. Hardman |
Understanding and Communicating Risk: A Psychological Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Safety-Critical Systems: The Convergence of High Tech and Human Factors - Proceedings of the Fourth Safety-critical Systems Symposium, SSS 1996, Leeds, UK, February 6-8, 1996, pp. 168-183, 1996, Springer, 978-3-540-76009-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Young-Mi Kim, Choong-Heui Jeong, A-Rang Jeong, Hyeon Soo Kim |
Risky Module Estimation in Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China, pp. 967-970, 2009, IEEE Computer Society, 978-0-7695-3641-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Lei Zhao, Daniel Tang, Jan Vitek |
A technology compatibility kit for safety critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009, Madrid, Spain, September 23-25, 2009, pp. 160-168, 2009, ACM, 978-1-60558-732-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Gabriella Carrozza, Domenico Cotroneo, Stefano Russo 0001 |
Software Faults Diagnosis in Complex OTS Based Safety Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008, pp. 25-34, 2008, IEEE Computer Society, 978-0-7695-3138-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen |
Model-based schedulability analysis of safety critical hard real-time Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 106-114, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor |
25 | Jason D. Lee, Nikhil Gupta 0004, Praveen Bhojwani, Rabi N. Mahapatra |
An On-Demand Test Triggering Mechanism for NoC-Based Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 184-189, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
test triggering, network on chip, on-line test |
25 | Renato Donini, Stefano Marrone 0001, Nicola Mazzocca, Antonio Orazzo, Domenico Papa, Salvatore Venticinque |
Testing Complex Safety-Critical Systems in SOA Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 87-93, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Trevor C. Bailey, Richard M. Everson, Jonathan E. Fieldsend, Wojtek J. Krzanowski, Derek Partridge, Vitaly Schetinin |
Representing classifier confidence in the safety critical domain: an illustration from mortality prediction in trauma cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 16(1), pp. 1-10, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Beizhan Wang, Yue Wang, Fei Cheng, Qi Duan |
Safety Critical Network Based on Fibre Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE NAS ![In: International Conference on Networking, Architecture, and Storage, NAS 2007, 29-31 July 2007, Guilin, China, pp. 261-262, 2007, IEEE Computer Society, 0-7695-2927-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Martin Schoeberl |
Mission Modes for Safety Critical Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers, pp. 105-113, 2007, Springer, 978-3-540-75663-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Jennifer Morris, Philip Koopman |
Representing design tradeoffs in safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, modeling, integrity, dependability, availability, safety |
25 | Pavel Horsky |
LC Oscillator Driver for Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 159-164, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 81-93, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | D. Essame |
Handling Safety Critical Requirements in System Engineering Using the B Formal Method . ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings, pp. 115, 2004, Springer, 3-540-23176-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Kristian Sandström, Johan Fredriksson, Mikael Åkerholm |
Introducing a Component Technology for Safety Critical Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBSE ![In: Component-Based Software Engineering, 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings, pp. 194-208, 2004, Springer, 3-540-21998-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | William R. Dunn |
Designing Safety-Critical Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 36(11), pp. 40-46, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Luís Almeida 0001 |
A Word for Operational Flexibility in Distributed Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 177-, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Julia Padberg, Bettina Enders |
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 334-350, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | R. M. Newman |
Developing a Standards Agenda for Safety Critical Multimedia Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2001 International Symposium on Information Technology (ITCC 2001), 2-4 April 2001, Las Vegas, NV, USA, pp. 295-299, 2001, IEEE Computer Society, 0-7695-1062-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | James S. Pascoe, Roger J. Loader |
A Survey on Safety-Critical Multicast Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings, pp. 333-343, 2000, Springer, 3-540-41186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Robert M. Newman |
Team accessible methods for production of safety critical hypermedia documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGDOC ![In: Proceedings of IEEE Professional Communication Society International Professional Communication Conference and Proceedings of the 18th Annual ACM International Conference on Computer Documentation: Technology & Teamwork, Cambridge, Massachusetts, USA, September 24-27, 2000, pp. 239-251, 2000, IEEE, 0-7803-6431-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Jae-Chul Moon, Soon-Ju Kang, Nam Seog Park |
Java-Based Distributed Intelligent Agent Architecture for Building Safety-Critical Tele-Inspection Systems on the Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Intelligent Problem Solving, Methodologies and Approaches, 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000, Proceedings, pp. 34-45, 2000, Springer, 3-540-67689-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Carsten Sühl |
Applying RT-Z to Develop Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 51-65, 2000, Springer, 3-540-67261-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Chris W. Johnson 0001 |
Evaluating the Contribution of DesktopVR for Safety-Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 67-78, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Jacob Frost |
An Ada95 Solution for Certification of Embedded Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings, pp. 52-63, 1999, Springer, 3-540-66093-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Emmanuelle Anceaume, Gilbert Cabillic, Pascal Chevochot, Isabelle Puaut |
HADES: A Middleware Support for Distributed Safety-Critical Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 18th International Conference on Distributed Computing Systems, Amsterdam, The Netherlands, May 26-29, 1998, pp. 344-351, 1998, IEEE Computer Society, 0-8186-8292-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
fault tolerance, real-time systems, Distributed operating systems |
25 | Larry L. Constantine, Helmut Windl |
Safety, speed, and style: interaction design of an in-vehicle user interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 2675-2678, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
in-vehicle, interaction design, automotive, safety-critical, model-driven design, user performance |
25 | Janusz Sosnowski, Dawid Trawczynski, Janusz Zalewski |
Safety Issues in Modern Bus Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(1), pp. 97-99, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bus standards, standards, safety-critical applications |
Displaying result #201 - #300 of 3572 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|