| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke |
Modeling, Analysis, and Testing of System Vulnerabilities.  |
Advances in Computers  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit, Nevin Güler |
Event-Oriented, Model-Based GUI Testing and Reliability Assessment - Approach and Case Study. |
Advances in Computers |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli |
Verlässlichkeit bei Wiederverwendung von IT-Komponenten - zum Stand der Normungsaktivitäten. |
ARCS Workshops |
2012 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa |
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. |
ICST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Andre Takeshi Endo, Michael Linschulte, Adenilso da Silva Simão |
Model-based testing of web service compositions. |
SOSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Nevin Güler, Michael Linschulte |
Does "Depth" Really Matter? On the Role of Model Refinement for Testing and Reliability. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit |
Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison. |
COMPSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit, Axel Hollmann, Nevin Güler |
Statistical Evaluation of Test Sets Using Mutation Analysis. |
COMPSAC Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip A. Laplante, Fevzi Belli, Jerry Gao, Greg Kapfhammer, Keith W. Miller, W. Eric Wong, Dianxiang Xu |
Software Test Automation. |
Adv. Software Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Michael Linschulte |
Event-driven modeling and testing of real-time web services. |
Service Oriented Computing and Applications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber |
Fault Detection Likelihood of Test Sequence Length. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
Software Testing, Graphical User Interfaces, Software Reliability, Event Sequence Graphs |
| 1 | Fevzi Belli, Nida Gökçe |
Test Prioritization at Different Modeling Levels. |
FGIT-ASEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Nevin Güler, Axel Hollmann, Gökhan Suna, Esra Yildiz |
Model-Based Higher-Order Mutation Analysis. |
FGIT-ASEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter |
MOTES2010 - Modellbasiertes Testen (Vorwort). |
GI Jahrestagung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit |
A Formal Framework for Mutation Testing. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
(model-based) mutation testing, formal/regular grammar, manipulation operator, test generation, directed graph, test coverage |
| 1 | Fevzi Belli, Axel Hollmann, W. Eric Wong |
Towards Scalable Robustness Testing. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
elementary modification operators, decision tables, robustness testing, event sequence graphs |
| 1 | Fevzi Belli, Michele Luglio, Cesare Roseti |
Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments. |
Future Internet Assembly |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Mutlu Beyazit |
Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation |
DCFS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, Fevzi Belli |
Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008). |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tugkan Tuglular, Can Arda Muftuoglu, Özgür Kaya, Fevzi Belli, Michael Linschulte |
GUI-Based Testing of Boundary Overflow Vulnerability. |
COMPSAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Axel Hollmann, Zhenyu Chen |
Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. |
ICTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Axel Hollmann, Francesca Saglietti, Mario Winter |
Vorwort der Workshop-Leitung. |
GI Jahrestagung |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tugkan Tuglular, Özgür Kaya, Can Arda Muftuoglu, Fevzi Belli |
Directed Acyclic Graph Modeling of Security Policies for Firewall Testing. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
Firewall Policies, Firewall Testing, Firewalls, Directed Acyclic Graphs, Security Testing, Event Sequence Graphs |
| 1 | Fevzi Belli, Axel Hollmann, Sascha Padberg |
Communication Sequence Graphs for Mutation-Oriented Integration Testing. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
communication sequence graphs, Software testing, mutation testing, integration testing |
| 1 | Fevzi Belli, Axel Hollmann, Markus Kleinselbeck |
A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
electronic control units, event sequence graphs, classification tree method |
| 1 | Tugkan Tuglular, Can Arda Muftuoglu, Fevzi Belli, Michael Linschulte |
Event-Based Input Validation Using Design-by-Contract Patterns. |
ISSRE |
2009 |
DBLP DOI BibTeX RDF |
Boundary Overflow, Decision Tables, Design by Contract, Security Testing, Event Sequence Graphs, Input Validation |
| 1 | Fevzi Belli, Mubariz Eminov, Nida Gökçe |
Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies. |
KI |
2009 |
DBLP DOI BibTeX RDF |
model-based test prioritizing, adaptive competitive learning, clustering, neural networks, fuzzy c-means |
| 1 | Fevzi Belli, Axel Hollmann |
Test generation and minimization with "basic" statecharts. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
fault modeling, statecharts, test case generation, test coverage, test optimization |
| 1 | Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai |
Message from the IWSC 2008 Workshop Organizers. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Michael Linschulte |
Event-Driven Modeling and Testing of Web Services. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
(real-time) service oriented architecture, decision table, event sequence graph, web service testing |
| 1 | Fevzi Belli, Cristina Cerschi Seceleanu |
Panel Description: 40 Years of Software Engineering. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
special session, software engineering |
| 1 | Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai |
IWSC 2008 Workshop Organization. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Andreas Spillner 0002 |
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. |
Software Engineering |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Andreas Spillner 0002 |
2. Workshop Testmethoden für Software - Von der Forschung in die Praxis. |
Software Engineering (Workshops) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Axel Hollmann, Mario Winter |
MOTES08 - Modellbasiertes Testen. |
GI Jahrestagung |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hong Zhu, W. Eric Wong, Fevzi Belli |
Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
automation of software test, software testing, software tools, model-driven software development |
| 1 | Hong Zhu, W. Eric Wong, Fevzi Belli (eds.) |
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. |
AST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Test minimization for human-computer interaction. |
Appl. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Model-based reasoning and testing, Test generation/test selection, Minimal spanning set, Fault diagnosis, Test coverage, Event sequence graph, Chinese postman problem |
| 1 | Fevzi Belli, Mubariz Eminov, Nida Gökçe |
Coverage-Oriented, Prioritized Testing - A Fuzzy Clustering Approach and Case Study. |
LADC |
2007 |
DBLP DOI BibTeX RDF |
Software Testing, Fuzzy Clustering, Test Prioritizing |
| 1 | Fevzi Belli, Mubariz Eminov, Nida Gökçe |
Prioritizing Coverage-Oriented Testing Process - An Adaptive-Learning-Based Approach and Case Study. |
COMPSAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Axel Hollmann, Nimal Nissanke |
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Analysis and Testing, Risk Graphs, Safety, User Interactions, Regular Expressions, Event Sequence Graphs |
| 1 | Fevzi Belli, Axel Hollmann |
Holistic testing with basic statecharts. |
Software Engineering (Workshops) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sami Beydeda, Fevzi Belli |
Einführung. |
Software Engineering (Workshops) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Michael Linschulte, Ralf Zirnsak, Günter Hofmann |
"Negativ"-Tests interaktiver Systeme und ihre Automatisierung. |
Software Engineering (Workshops) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sami Beydeda, Fevzi Belli |
WG1: Testmethoden für Software - Von der Forschung in die Praxis. |
Software Engineering |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur |
Introduction to the special section on software cybernetics. |
Journal of Systems and Software |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Lee White |
Event-based modelling, analysis and testing of user interactions: approach and case study. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Axel Hollmann |
Holistic Testing of Interactive Systems Using Statecharts. |
Sicherheit |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Michael Linschulte, Ina Schieferdecker |
Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie. |
GI Jahrestagung |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nida Gökçe, Mubariz Eminov, Fevzi Belli |
Coverage-Based, Prioritized Testing Using Neural Network Clustering. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
pair-wise coverage, importance degree, test ranking, clustering, competitive learning, Event sequence |
| 1 | Stefan Gossens, Fevzi Belli, Sami Beydeda, Mario Dal Cin |
View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. |
HASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Towards Self-Testing of Component-Based Software. |
COMPSAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Baris Güldali |
A Holistic Approach to Test-Driven Model Checking. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Towards Minimization of Test Sets for Human-Computer Systems. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Towards Minimization of Test Sets for Coverage Testing of Interactive Systems. |
Software Engineering |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Test Cost Reduction for Interactive Systems. |
Sicherheit |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik, Nimal Nissanke |
Finite-State Modeling, Analysis and Testing of System Vulnerabilities. |
ARCS Workshops |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Minimal Spanning Set for Coverage Testing of Interactive Systems. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Christof J. Budnik |
Towards Optimization of the Coverage Testing of Interactive Systems. (PDF / PS) |
COMPSAC Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Baris Güldali |
Software Testing via Model Checking. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli |
Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces. |
IEA/AIE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli |
Finite-State Testing and Analysis of Graphical User Interfaces. |
ISSRE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli |
Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement. (PDF / PS) |
EUROMICRO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Thomas Illgen |
Logic Representation of Programs to Detect Arithmetic Anomalies. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
Arithmetic Anomalies, Software Legacy and Re-engineering, Logic Programming, Program Transformation, Program Testing |
| 1 | Fevzi Belli |
Software Reliability Engineering - Risk Management for the New Millenium. |
EDCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Matthias Grochtmann, Oliver Jack |
Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. |
Informatik Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Software-Qualität, Software-Zuverlässigkeit, Zuverlässigkeitsmodelle |
| 1 | Fevzi Belli |
Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. |
Informatik Spektrum |
1998 |
DBLP DOI BibTeX RDF |
Validation/Verifikation, systematisches Testen, durchsichtsorientierte Prüfverfahren, Testwerkzeuge |
| 1 | Fevzi Belli, Oliver Jack |
Declarative Paradigm of Test Coverage. |
Softw. Test., Verif. Reliab. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Azem, Fevzi Belli |
Determining the Reliability of Prolog Programs. |
Softw. Test., Verif. Reliab. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, Javier Dreyer |
Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
| 1 | Fevzi Belli, Oliver Jack |
An Environment for Self-Testing of Logic Programs. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
| 1 | Alireza Azem, Fevzi Belli |
Reliability Prediction of Prolog Programs. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
Prolog |
| 1 | Fevzi Belli, Alfried Pollmann, Radu Crisan |
Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
CS-PROLOG |
| 1 | Fevzi Belli, Oliver Jack |
A test environment for Prolog. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Alireza Azem, Fevzi Belli |
Reliability determination of Prolog programs. |
SEKE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Oliver Jack |
Implementation-Based Analysis and Testing of Prolog Programs. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Fevzi Belli |
Model-Based Construction and Implementation-Oriented Evaluation of Complex Systems. |
Systems Engineering in Public Administration |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alireza Azem, Fevzi Belli |
Reliability Prediction and Reliability Assessment Environment or Prolog Programs. |
LPE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Oliver Jack |
A Product Assurance Environment for Prolog. |
LPE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alireza Azem, Fevzi Belli, Oliver Jack |
Implementation-Oriented Testing and Reliability Determination of Prolog Programs. |
SEKE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Franz Josef Radermacher (eds.) |
Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 5th International Conference, IEA/AIE - 92, Paderborn, Germany, June 9-12, 1992, Proceedings |
IEA/AIE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Alfred Schmidt |
Systematische Dokumentation logischer Programme. |
Informatik zwischen Wissenschaft und Gesellschaft |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Piotr Jedrzejowicz |
An Approach to the Reliability Optimization of Software with Redundancy. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
reliability optimization, modified recovery block scheme, multiversion programming, fault tolerance, fault tolerant computing, optimisation, software reliability, software reliability, software, redundancy, redundancy |
| 1 | Fevzi Belli, Karl-Erwin Großpietsch |
Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description |
| 1 | Fevzi Belli, Ismael Camara, Alfred Schmidt |
A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Alfred Schmidt, Fevzi Belli |
An Extension of PROLOG for Object-Oriented Programming in Logic. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Fevzi Belli, Hinrich E. G. Bonin |
An Approach to Control Different Versions of Knowledge in Object-Oriented Systems and its Applications in FIREX. |
IEA/AIE (Vol. 1) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Fevzi Belli, Hinrich E. G. Bonin, H. Gerdes, W. Filipowicz, Piotr Jedrzejowicz |
Some aspects on the development and validation of FIREX: a knowledge-based system for the transport of dangerous goods and fire department consulting. |
IEA/AIE |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Fevzi Belli, M. Klug, Werner van Treeck |
ASH-Ein wissensorientierter Arbeitsplatz für die benutzerprogrammierbare Ablaufsteuerung in der Kommunalverwaltung. |
GI Jahrestagung |
1989 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Hinrich E. G. Bonin |
Einsatz eines Gefahrgut-Informationssystems - Beobachtungen und Konsequenzen für die Weiterentwicklung. |
Informatik im Umweltschutz |
1989 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Piotr Jedrzejowicz |
Towards Reliability Optimization of Fault-tolerant Software. |
Elektronische Informationsverarbeitung und Kybernetik |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Piotr Jedrzejowicz |
Fault-Tolerant Programs. |
Angewandte Informatik |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Hinrich E. G. Bonin, W. Filipowicz, Piotr Jedrzejowicz |
FEUEX - Ein Expertensystem zur Beratung über Gefahrguttransport und für den Feuerwehreinsatz. |
GI Jahrestagung |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Winfried Görke (eds.) |
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings |
Fehlertolerierende Rechensysteme |
1987 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Klaus Echtle, Winfried Görke |
Methoden und Modelle der Fehlertoleranz. |
Informatik Spektrum |
1986 |
DBLP BibTeX RDF |
|
| 1 | B. Eggers, Fevzi Belli |
Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. |
Fehlertolerierende Rechensysteme |
1984 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli |
Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. |
Software-Fehlertoleranz und -Zuverlässigkeit |
1984 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli, Silvia Pfleger, Manfred H. Seifert (eds.) |
Software-Fehlertoleranz und -Zuverlässigkeit |
Software-Fehlertoleranz und -Zuverlässigkeit |
1984 |
DBLP BibTeX RDF |
|
| 1 | M. A. J. Burford, Fevzi Belli |
CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. |
Fehlertolerierende Rechensysteme |
1984 |
DBLP BibTeX RDF |
|
| 1 | Fevzi Belli |
Eine Strategie für Entwurf und Spezifikation von Software im Hinblick auf Fehlertoleranz. |
Fehlertolerierende Rechensysteme |
1982 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")