Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Bredereke, Jan"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bredereke, Jan *, Lankenau, Axel
Publikováno v:
In Reliability Engineering and System Safety June 2005 88(3):229-245
Autor:
Bredereke, Jan
We present a survey of the current state of the reseach on time and space partitioning for space avionics. The availability of ever more powerful computers allows to assign many control tasks to a single computer easily, in principle. But in its naiv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______139::2c40452aebf8f914dbb08b94f8c70b20
https://media.suub.uni-bremen.de/handle/elib/3305
https://media.suub.uni-bremen.de/handle/elib/3305
Autor:
Bredereke, Jan
The first part of this book introduces to families of rigorous software requirements, and how to organize them into requirements modules. A family of requirements must be organized rather differently than the requirements for a single system. We star
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______139::142ed438af12fcd065daea891fb7d15e
https://media.suub.uni-bremen.de/handle/elib/4072
https://media.suub.uni-bremen.de/handle/elib/4072
Autor:
Wend, Steven1, Bredereke, Jan1
Publikováno v:
PIK - Praxis der Informationsverarbeitung und Kommunikation. Sep2015, Vol. 38 Issue 1/2, p63-70. 8p.
Autor:
Bredereke, Jan
Die formale Beschreibungstechnik Estelle wird in einem internationalen Standarddefiniert. Ein Hauptnutzen einer formalen Semantik für eine Beschreibungs-sprache besteht darin, daß sie die formale Verifikation von Systembeschreibungenermöglicht. Le
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::abf24918f4905d03128a9c663e1e0847
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/319
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/319
One main purpose for the use of formal description techniques (FDTs) is formal reasoningand verification. This requires a formal calculus and a suitable formal semantics of theFDT. In this paper, we discuss the basic verification requirements for Est
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1fadd0e084cbb3d5f395df8921f10d7e
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/305
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/305