Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Affeldt, Reynald"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-17 z 17
    Tytuł:
    A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
    Autorzy:
    Affeldt, Reynald
    Nowak, David
    Saikawa, Takafumi
    Pokaż więcej
    Źródło:
    Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings. 11825:226-254
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formal Verification of the rank Algorithm for Succinct Data Structures
    Autorzy:
    Tanaka, Akira
    Affeldt, Reynald
    Garrigue, Jacques
    Pokaż więcej
    Źródło:
    Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. 10009:243-260
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formalization of Error-Correcting Codes: From Hamming to Modern Coding Theory
    Autorzy:
    Affeldt, Reynald
    Garrigue, Jacques
    Pokaż więcej
    Źródło:
    Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. 9236:17-33
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formalization of Shannon’s Theorems in SSReflect-Coq
    Autorzy:
    Affeldt, Reynald
    Hagiwara, Manabu
    Pokaż więcej
    Źródło:
    Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. 7406:233-249
    Książka elektroniczna
    Szczegóły
    Tytuł:
    An Approach to Formal Verification of Arithmetic Functions in Assembly
    Autorzy:
    Affeldt, Reynald
    Marti, Nicolas
    Pokaż więcej
    Źródło:
    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. 4435:346-360
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formal Proof of Provable Security by Game-Playing in a Proof Assistant
    Autorzy:
    Affeldt, Reynald
    Tanaka, Miki
    Marti, Nicolas
    Pokaż więcej
    Źródło:
    Provable Security : First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings. 4784:151-168
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formal Verification of the Heap Manager of an Operating System Using Separation Logic
    Autorzy:
    Marti, Nicolas
    Affeldt, Reynald
    Yonezawa, AkinoriAff18, Aff19
    Pokaż więcej
    Źródło:
    Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings. 4260:400-419
    Książka elektroniczna
    Szczegóły
    Tytuł:
    Formalization and Verification of a Mail Server in Coq
    Autorzy:
    Affeldt, Reynald
    Kobayashi, Naoki
    Pokaż więcej
    Źródło:
    Software Security — Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers. 2609:217-233
    Książka elektroniczna
    Szczegóły
    Tytuł:
    On construction of a library of formally verified low-level arithmetic functions
    Autorzy:
    Affeldt, Reynald
    Pokaż więcej
    Źródło:
    Innovations in Systems and Software Engineering: A NASA Journal. June 2013 9(2):59-77
    Czasopismo naukowe
    Szczegóły
    Tytuł:
    An Approach to Formal Verification of Arithmetic Functions in Assembly.
    Autorzy:
    Hutchison, David
    Kanade, Takeo
    Kittler, Josef
    Kleinberg, Jon M.
    Mattern, Friedemann
    Mitchell, John C.
    Naor, Moni
    Nierstrasz, Oscar
    Pandu Rangan, C.
    Steffen, Bernhard
    Sudan, Madhu
    Terzopoulos, Demetri
    Tygar, Doug
    Vardi, Moshe Y.
    Weikum, Gerhard
    Okada, Mitsu
    Satoh, Ichiro
    Affeldt, Reynald
    Marti, Nicolas
    Pokaż więcej
    Źródło:
    Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p346-360, 15p
    Książka
    Szczegóły
      Wyświetlanie 1-17 z 17

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies