Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Inigo Incer"'
Autor:
Romeo, Íñigo Íncer, Lohstroh, Marten, Iannopollo, Antonio, Lee, Edward A., Sangiovanni-Vincentelli, Alberto
We propose a measure and a metric on the sets of infinite traces generated by a set of atomic propositions. To compute these quantities, we first map properties to subsets of the real numbers and then take the Lebesgue measure of the resulting sets.
Externí odkaz:
http://arxiv.org/abs/1812.03923
We provide a new perspective on using formal methods to model specifications and synthesize implementations for the design of biological circuits. In synthetic biology, design objectives are rarely described formally. We present an assume-guarantee c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bc31ede63762fd4642593d94c1e7869
https://doi.org/10.1101/2022.04.08.487709
https://doi.org/10.1101/2022.04.08.487709
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031223365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cec4533b4d86a44f293562e60b68db2a
https://doi.org/10.1007/978-3-031-22337-2_23
https://doi.org/10.1007/978-3-031-22337-2_23
Publikováno v:
EMSOFT
Cyber-Physical Systems (CPS) are important components of critical infrastructure and must operate with high levels of reliability and security. We propose a conceptual approach to securing CPSs: the Cyber-Physical Immune System (CPIS), a collection o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4cc6ea4b394acf113541270777fa37d9
https://doi.org/10.1145/3477244.3477621
https://doi.org/10.1145/3477244.3477621
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.