Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 24 matches
- 2001
- Cláudia Betous-Almeida, Karama Kanoun:
Dependability Evaluation. SAFECOMP 2001: 227-237 - Friedemann Bitsch:
Safety Patterns - The Key to Formal Specification of Safety Requirements. SAFECOMP 2001: 176-189 - Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot:
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP 2001: 215-226 - Tadeusz Cichocki, Janusz Górski:
Formal Support for Fault Modelling and Analysis. SAFECOMP 2001: 190-199 - Rainer Faller:
Project Experience with IEC 61508 and Its Consequences. SAFECOMP 2001: 200-214 - Hans R. Fankhauser:
Safety Functions versus Control Functions. SAFECOMP 2001: 66-74 - John Fox:
Designing Safety into Medical Decisions and Clinical Processes. SAFECOMP 2001: 1-13 - Piotr Gawkowski, Janusz Sosnowski:
Experimental Evaluation of Fault Handling Mechanisms. SAFECOMP 2001: 109-118 - Bjørn Axel Gran, Atte Helminen:
A Bayesian Belief Network for Reliability Assessment. SAFECOMP 2001: 35-45 - Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer:
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. SAFECOMP 2001: 130-144 - Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter:
The Effectiveness of Statistical Testing when Applied to Logic Systems. SAFECOMP 2001: 156-165 - Ulrich Laible, Thomas Bürger, Günter Pritschow:
A Fail-Safe Dual Channel Robot Control for Surgery Applications. SAFECOMP 2001: 75-85 - Oliver Mäckel, Georg Hoever:
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach. SAFECOMP 2001: 92-99 - Martin Naedele, Dacfey Dzung, Michael Stanimirov:
Network Security for Substation Automation Systems. SAFECOMP 2001: 25-34 - Odd Nordland:
Presenting a Safety Case - A Case Study. SAFECOMP 2001: 56-65 - Zsigmond Pap, István Majzik, András Pataricza:
Checking General Safety Criteria on UML Statecharts. SAFECOMP 2001: 46-55 - Alberto Pasquini, Antonio Rizzo, Luca Save:
Analysis of Incidents Involving Interactive Systems. SAFECOMP 2001: 100-108 - Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli:
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. SAFECOMP 2001: 238-248 - Felix Redmill:
The COTS Debate in Perspective. SAFECOMP 2001: 119-129 - John M. Rushby:
Modeling the Human in Human Factors. SAFECOMP 2001: 86-91 - Ioannis Vakalis:
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures. SAFECOMP 2001: 145-155 - Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran:
Security Assessments of Safety Critical Systems Using HAZOPs. SAFECOMP 2001: 14-24 - Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck:
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B. SAFECOMP 2001: 166-175 - Udo Voges:
Computer Safety, Reliability and Security, 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001, Proceedings. Lecture Notes in Computer Science 2187, Springer 2001, ISBN 3-540-42607-8 [contents]
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-02 18:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint