Wszystkie pola: "Mallet, Frédéric" - OpacWWW

Skocz do pozycji: 1 1.

Szczegóły

Skocz do pozycji: 2 2.

Tytuł :: A verification framework for spatio-temporal consistency language with CCSL as a specification language
Autorzy :: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang; Pokaż więcej
Źródło :: Frontiers of Computer Science. 14(1):105-129
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 3 3.

Szczegóły

Skocz do pozycji: 4 4.

Tytuł :: Model-driven approach for the design of Multi-Chain Smart Contracts
Autorzy :: Barisic, Ankica
Zhu, Enlin
Mallet, Frédéric; Pokaż więcej
Temat :: [SCCO.COMP]Cognitive science/Computer science
Źródło :: Crossref
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)
3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::758772658e75251e17df20a26553d8aa
http://xplorestaging.ieee.org/ielx7/9568781/9569777/09569809.pdf?arnumber=9569809

Szczegóły

Skocz do pozycji: 5 5.

Tytuł :: An Approach to Ensure Safety of Autonomous Vehicles in Planned Trajectories
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frédéric; Pokaż więcej
Temat :: Operational Design Domain
autonomous vehicles
model development and verification
test and simulation
specific design domains
automotive model-based safety design
formal rules
[INFO]Computer Science [cs]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :: FDL 2021 Forum on specification & Design Languages
FDL 2021 Forum on specification & Design Languages, Sep 2021, ANTIBES, France
Dostępność :: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::85803e078497c2839ff6a1a4c77352f9
https://hal.archives-ouvertes.fr/hal-03331199

Szczegóły

Skocz do pozycji: 6 6.

Tytuł :: TRAP: trace runtime analysis of properties
Autorzy :: Yue, DaianAff1, Aff2
Joloboff, VaniaAff1, Aff2
Mallet, FrédéricAff1, Aff3; Pokaż więcej
Źródło :: Frontiers of Computer Science. 14(3)
: Czasopismo naukowe

Szczegóły

Skocz do pozycji: 7 7.

Tytuł :: A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
Autorzy :: Khan, Aamir M.
Mallet, Frédéric
Rashid, Muhammad; Pokaż więcej
Źródło :: Software & Systems Modeling. 18(1):11-37
: Czasopismo naukowe

Szczegóły Pełny tekst Pełny tekst

Skocz do pozycji: 8 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

Szczegóły

Skocz do pozycji: 9 9.

Tytuł :: EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles
Autorzy :: Abou Faysal, Joelle
Zalmai, Nour
Barisic, Ankica
Mallet, Frédéric; Pokaż więcej
Temat :: Rule-Based Planner
Formal methods
Testing and simulating
Model development and verification
Safety
Autonomous cars
[INFO]Computer Science [cs]
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :: MEDI 2021-10th International Conference on Model and Data Engineering
MEDI 2021-10th International Conference on Model and Data Engineering, Jun 2021, Tallinn, Estonia
Crossref
Dostępność :: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff93e14a003672864d9e9fe83a3c9bce
https://hal.archives-ouvertes.fr/hal-03331190

Szczegóły

Skocz do pozycji: 10 10.

Szczegóły

Informacja