Autor: "Mallet, Frédéric" - OpacWWW

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

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor

Wyświetlanie 1-10 z 137

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: A dynamic logic for verification of synchronous models based on theorem proving
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Liu, Zhiming; Pokaż więcej
Źródło:: Frontiers of Computer Science; August 2022, Vol. 16 Issue: 4

Periodyk

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Formally verifying consistency of sequence diagrams for safety critical systems
Autorzy:: Chen, Xiaohong; Pokaż więcej
Źródło:: In Science of Computer Programming 1 April 2022 216

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Outcomes following brachytherapy boost for intermediate- and high-risk prostate cancer: A retrospective bicenter study by the SFRO brachytherapy group
Autorzy:: Ka, Kanta; Pokaż więcej
Źródło:: In Radiotherapy and Oncology January 2022

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Preface – FTSCS 2019
Autorzy:: Hasan, Osman
Mallet, Frédéric; Pokaż więcej
Źródło:: In Science of Computer Programming 1 September 2021 209

Opinia redakcyjna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems
Autorzy:: Zhang, Yuanrui; Pokaż więcej
Źródło:: In Science of Computer Programming 1 March 2021 203

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 6.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A clock-based dynamic logic for schedulability analysis of CCSL specifications
Autorzy:: Zhang, Yuanrui; Pokaż więcej
Źródło:: In Science of Computer Programming 1 February 2021 202

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy:: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frederic; Pokaż więcej
Źródło:: Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings. 1481:101-111

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Editorial - Theoretical Aspects of Software Engineering (2017)
Autorzy:: Mallet, Frederic
Zhang, Min; Pokaż więcej
Źródło:: In Science of Computer Programming 15 October 2020 198

Opinia redakcyjna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: TRAP: trace runtime analysis of properties
Autorzy:: Yue, Daian
Joloboff, Vania
Mallet, Frédéric; Pokaż więcej
Źródło:: Frontiers of Computer Science; June 2020, Vol. 14 Issue: 3

Periodyk

na półce

Szczegóły

Wyświetlanie 1-10 z 137

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz

Informacja

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język