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

Skocz do pozycji: 1.

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: 2.

Tytuł:: Formal Verification of Cyber-Physical Systems Using Theorem Proving
Autorzy:: Rashid, Adnan
Siddique, Umair
Tahar, Sofiène; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:3-18

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661
Autorzy:: Singh, Neeraj Kumar
Aït-Ameur, Yamine
Méry, Dominique
Navarre, David
Palanque, Philippe
Pantel, Marc; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:21-39

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Verifying Resource Adequacy of Networked IMA Systems at Concept Level
Autorzy:: Saar de Moraes, Rodrigo
Nadjm-Tehrani, Simin; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:40-56

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study
Autorzy:: Yuan, Shenghao
Yang, Zhibin
Bodeveix, Jean-Paul
Filali, Mamoun
Wang, Tiexin
Zhou, Yong; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:57-73

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
Autorzy:: Ben Khalifa, Dorra
Martel, MatthieuAff8, Aff9
Adjé, Assalé; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:77-94

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Visualising Railway Safety Verification
Autorzy:: Pantekis, Filippos
James, Phillip
O’Reilly, Liam
Archambault, Daniel
Moller, Faron; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:95-105

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Probabilistic Activity Recognition for Serious Games with Applications in Medicine
Autorzy:: De Maria, Elisabetta
L’Yvonnet, Thibaud
Moisan, Sabine
Rigault, Jean-Paul; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:106-124

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas
Autorzy:: Yu, Emily
Seidl, Martina
Biere, Armin; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:127-132

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Formal Semantics Extraction from MIPS Instruction Manual
Autorzy:: Trac, Quang Thinh
Ogawa, Mizuhito; Pokaż więcej
Źródło:: Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:133-140

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools
Autorzy:: Doroshenko, Anatoliy
Beketov, Oleksii
Bondarenko, Mykola
Yatsenko, Olena; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:3-23

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Optimized Term Extraction Method Based on Computing Merged Partial C-Values
Autorzy:: Kosa, Victoria
Chaves-Fraga, David
Dobrovolskyi, Hennadii
Ermolayev, Vadim; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:24-49

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition
Autorzy:: Ivanov, Ievgen
Nikitchenko, Mykola; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:50-67

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Program-Oriented Logics of Renominative Level with Extended Renomination and Equality
Autorzy:: Nikitchenko, Mykola
Shkilniak, Oksana
Shkilniak, Stepan; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:68-88

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: SMT-LIB Theory of Nominative Data
Autorzy:: Omelchuk, Liudmyla
Shyshatska, Olena; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:89-110

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Correction to: Information and Communication Technologies in Education, Research, and Industrial Applications
Autorzy:: Ermolayev, Vadim
Mallet, Frédéric
Yakovyna, Vitaliy
Mayr, Heinrich C.
Spivakovsky, Aleksander; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:C1-C1

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Intelligent Support of the Business Process Model Analysis and Improvement Method
Autorzy:: Kopp, Andrii
Orlovskyi, Dmytro; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:111-135

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: The Use of Analogy to Simplify the Mathematical Description of the Didactical Process
Autorzy:: Plaskura, Paweł; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:136-160

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Developing a Mobile Augmented Reality Application for Enhancing Early Literacy Skills
Autorzy:: Ablyaev, Marlen
Abliakimova, Afife
Seidametova, Zarema; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:163-185

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: System for Testing Physics Knowledge
Autorzy:: Lvov, Michail
Kuzmenkov, Sergey
Kravtsov, Hennadiy; Pokaż więcej
Źródło:: Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:186-209

Książka elektroniczna

na półce

Szczegóły

Informacja

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

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Publikacja