Zobrazeno 1 - 10
of 64
pro vyhledávání: '"formale Methode"'
Autor:
Abate, Carmine (M. Sc.)
Wir untersuchen einen eine große Auswahl von korrekter und sicherer Kompilierungsdefinitionen, die abhängen von der Klasse von Trace-Eigenschaften (Prädikaten für Ausführungstracing), Hypereigenschaften (Prädikaten für Sätze von Ausführungst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::083c822b5b233ce8a7860b3aea38ce23
Autor:
Piskac, Ruzica, Whalen, Michael W.
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::707b9fc2382b7165a2e78ccc105c7815
Autor:
Bujtor, Ferenc
This thesis presents the latest incarnation of the interface theory of Modal Interface Automata (MIA) which unifies several different types of specification mechanisms. It allows for stepwise and aspect-oriented specifications and provides structural
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::0ad62815c1825851dadbc78de7e49100
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/43805
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/43805
Autor:
Leupolz, Johannes
Classical software verification focuses on answering the question if the implementation of a piece of software conforms to a specification. Verification plays an essential role in safety-critical domains like railway, automotive, aviation, and also m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::2b857bbf6429e995d0e6e043e6cb39be
https://opus.bibliothek.uni-augsburg.de/opus4/files/38685/Cover.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/38685/Cover.pdf
Autor:
Habermaier, Axel
Safety-critical systems can be negatively affected by faults such as component failures or environmental disturbances. One or more occurrences of such faults might lead to hazards, that is, potentially disastrous situations or conditions that may cau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::d138cca2469106bc6463ff02a11322b8
https://opus.bibliothek.uni-augsburg.de/opus4/files/3883/thesis.pdf
https://opus.bibliothek.uni-augsburg.de/opus4/files/3883/thesis.pdf
Autor:
Villarraga, Carlos
In current practices of system-on-chip (SoC) design a trend can be observed to integrate more and more low-level software components into the system hardware at different levels of granularity. The implementation of important control functions and co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2d314547191cfe0ae69a2a42d36815f7
https://kluedo.ub.rptu.de/files/4567/DissFinal_Villarraga.pdf
https://kluedo.ub.rptu.de/files/4567/DissFinal_Villarraga.pdf
Autor:
Roocks, Patrick
Relational methods in computer science have been studied intensively in the last decades, especially for program verification and correctness. In the present thesis we apply them to database preferences, which are a generalization of Skyline queries.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::616a8b2b7c0aaf23d901fd7ccda5a98b
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3760
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3760
This book constitutes the refereed proceedings of the second International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2013, held in Beijing, China, in August 2013. The Workshop was co-located with IJCAI 2013. The 15 revised
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Informat