UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints

Fundamenta informaticae, 2021-09, Vol.182 (1), p.31-67

2021

Volltextzugriff (PDF)

Multi-task Implementation of Multi-periodic Synchronous Programs

Discrete event dynamic systems, 2011-09, Vol.21 (3), p.307-338

2011

Volltextzugriff (PDF)

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Electronic proceedings in theoretical computer science, 2010-03, Vol.20 (Proc. FMA 2009), p.34-48

2010

Volltextzugriff (PDF)

Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints

2019 19th International Conference on Application of Concurrency to System Design (ACSD), 2019, p.13-22

2019

Volltextzugriff (PDF)

A Statistical Approach for Timed Reachability in AADL Models

2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015, p.81-88

2015

Volltextzugriff (PDF)

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms

2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010, p.301-310

2010

Volltextzugriff (PDF)

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation

Leibniz transactions on embedded systems, 2015-11, Vol.2 (2), p.01:1-01:30

2015

Volltextzugriff (PDF)

Using Static Analysis in Space: Why Doing so?

Static Analysis, p.51-70

Volltextzugriff (PDF)

A Multi-Periodic Synchronous Data-Flow Language

2008 11th IEEE High Assurance Systems Engineering Symposium, 2008, p.251-260

2008

Volltextzugriff (PDF)

Invariants of parameterized binary tree networks as greatest fixpoints

Algebraic Methodology and Software Technology, 2005, p.337-350

2005

Volltextzugriff (PDF)

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

Formal Methods for Open Object-Based Distributed Systems, 2006, p.48-62

2006

Volltextzugriff (PDF)

Implantation multitâche de programmes synchrones multipériodiques

Journal Européen des Systèmes Automatisés, 2009-11, Vol.43 (7-9), p.741-755

2009

Volltextzugriff (PDF)

Automatic verification of parameterized networks of processes: Algorithmic verification of infinite-state systems

Theoretical computer science, 2001, Vol.256 (1-2), p.113-144

2001

Volltextzugriff (PDF)

Automatic verification of parameterized networks of processes

Theoretical computer science, 2001, Vol.256 (1), p.113-144

2001

Volltextzugriff (PDF)

A Case Study in Formal System Engineering with SysML

2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, 2012, p.189-198

2012

Volltextzugriff (PDF)

Virtual execution of AADL models via a translation into synchronous programs

International Conference On Embedded Software: Proceedings of the 7th ACM & IEEE international conference on Embedded software; 30 Sept.-03 Oct. 2007, 2007, p.134-143

2007

Volltextzugriff (PDF)

A real-time architecture design language for multi-rate embedded control systems

Proceedings of the 2010 ACM Symposium on Applied Computing, 2010, p.527-534

2010

Volltextzugriff (PDF)

Automatic verification of parameterized linear networks of processes

Annual Symposium on Principles of Programming Languages: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 15-17 Jan. 1997, 1997, p.346-357

1997

Volltextzugriff (PDF)

Abstraction of parameterized networks

Electronic notes in theoretical computer science, 1997, Vol.9, p.42-42

1997

Volltextzugriff (PDF)

Comparing ethanol lock therapy versus vancomycin lock in a salvation strategy for totally implantable vascular access device infections due to coagulase-negative staphylococci (the ETHALOCK study): a prospective double-blind randomized clinical trial

European journal of clinical microbiology & infectious diseases, 2024-02, Vol.43 (2), p.223-232

2024

Volltextzugriff (PDF)

Long-term neurological symptoms after acute COVID-19 illness requiring hospitalization in adult patients: insights from the ISARIC-COVID-19 follow-up study

Journal of neurology, 2024-01, Vol.271 (1), p.79-86

2024

Volltextzugriff (PDF)

Integrase strand transfer inhibitors and neuropsychiatric adverse events in a large prospective cohort

Journal of antimicrobial chemotherapy, 2019-03, Vol.74 (3), p.754-760

2019

Volltextzugriff (PDF)

Incidence of diabetes in HIV-infected patients treated with first-line integrase strand transfer inhibitors: a French multicentre retrospective study

Journal of antimicrobial chemotherapy, 2020-11, Vol.75 (11), p.3344-3348

2020

Volltextzugriff (PDF)

1 – 25 von 41

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(28)
Mit Volltextzugriff
(38)

Publikationsform

Sprache

Englisch
(39)
Französisch
(2)

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(1)
... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints

Multi-task Implementation of Multi-periodic Synchronous Programs

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Parametric Schedulability Analysis of a Launcher Flight Control System Under Reactivity Constraints

A Statistical Approach for Timed Reachability in AADL Models

Scheduling Dependent Periodic Tasks without Synchronization Mechanisms

From Dataflow Specification to Multiprocessor Partitioned Time-triggered Real-time Implementation

Using Static Analysis in Space: Why Doing so?

A Multi-Periodic Synchronous Data-Flow Language

Invariants of parameterized binary tree networks as greatest fixpoints

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

Implantation multitâche de programmes synchrones multipériodiques

Automatic verification of parameterized networks of processes: Algorithmic verification of infinite-state systems

Automatic verification of parameterized networks of processes

A Case Study in Formal System Engineering with SysML

Virtual execution of AADL models via a translation into synchronous programs

A real-time architecture design language for multi-rate embedded control systems

Automatic verification of parameterized linear networks of processes

Abstraction of parameterized networks

Heterozygous STAT1 gain-of-function mutations underlie an unexpectedly broad clinical phenotype

Comparing ethanol lock therapy versus vancomycin lock in a salvation strategy for totally implantable vascular access device infections due to coagulase-negative staphylococci (the ETHALOCK study): a prospective double-blind randomized clinical trial

Active Surveillance Program to Increase Awareness on Invasive Fungal Diseases: the French RESSIF Network (2012 to 2018)

Long-term neurological symptoms after acute COVID-19 illness requiring hospitalization in adult patients: insights from the ISARIC-COVID-19 follow-up study

Integrase strand transfer inhibitors and neuropsychiatric adverse events in a large prospective cohort

Incidence of diabetes in HIV-infected patients treated with first-line integrase strand transfer inhibitors: a French multicentre retrospective study

Suchergebnisse filtern