Search results for: safety-critical software
Filters
total: 3972
filtered: 116
-
Catalog
- Publications 2938 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 1 available results
- People 88 available results
- Projects 11 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 73 available results
- Events 5 available results
- Open Research Data 486 available results
Chosen catalog filters
Search results for: safety-critical software
-
Australian Workshop on Safety Critical Systems and Software
Conferences -
International Workshop on Critical Information Infrastructures Security
Conferences -
Int. Workshop on Formal Methods for Industrial Critical Systems
Conferences -
Symposium on Stabilization, Safety, and Security of Distributed Systems
Conferences -
International Conference on Computer Safety, Reliability and Security
Conferences -
IEEE International Conference on Intelligence for Homeland Security and Personal Safety
Conferences -
IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes
Conferences -
Software Education Conference
Conferences -
Automation of Software Test
Conferences -
Onward Software Engineering
Conferences -
Visualization in Software Engineering
Conferences -
Software Quality Conference
Conferences -
Software Quality, Reliability, and Security (International Conference on Quality Software [QSIC])
Conferences -
International Workshop on Incorporating COTS Software into Software Systems, Tools and Techniques
Conferences -
Australian Workshop on Software Architecture
Conferences -
Algebraic Methodology and Software Technology
Conferences -
Automated Software Engineering Conference
Conferences -
Aspect-Oriented Software Development
Conferences -
International Conference on Software Engineering
Conferences -
ACM Symposium on Software Reusability
Conferences -
Software Product Lines Conference
Conferences -
International Conference on Software Composition
Conferences -
Australian Conference on Software Metrics
Conferences -
ACM Conference on Embedded Software
Conferences -
Fundamental Approaches to Software Engineering
Conferences -
Conference on the Quality of Software Architectures
Conferences -
European Conference on Software Architecture
Conferences -
International Conference on Software Reuse
Conferences -
Conference on Agile Software Development
Conferences -
IEEE Software Engineering Workshop
Conferences -
Australian Software Engineering Conference
Conferences -
International Workshop on Software Quality
Conferences -
International Conference on Software Development
Conferences -
European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Conferences -
Conference on Software Engineering Education and Training (Conference on Software Engineering Education and Training (previously Conference is Software Engineering Education, CSEE, changed in 1997))
Conferences -
Intenational Environmental Modelling and Software Society
Conferences -
Integration of Software Engineering and Agent Technology
Conferences -
Domain - Specific Languages for Software Engineering
Conferences -
International Symposium on Empirical Software Engineering
Conferences -
Foundations of Software Science and Computational Structures
Conferences -
IEEE International Symposium on Software Metrics
Conferences -
International Workshop on Modelling in Software Engineering
Conferences -
Software Technology and Engineering Practice Conference
Conferences -
Visualization in Software Product Lines Workshop
Conferences -
ACM Virtual Reality Software and Technology
Conferences -
Software Performance Enhancement for Encryption and Decryption
Conferences -
International Symposium on Software Testing and Analysis
Conferences -
International Symposium on Future Software Technology
Conferences -
Product Focused Software Process Improvement
Conferences -
International Workshop on Software Product Management
Conferences