Informacja

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

Przeglądasz jako GOŚĆ

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


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
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
Tytuł :
Formally Verifying Sequence Diagrams for Safety Critical Systems
Autorzy :
Chen, Xiaohong
Mallet, Frédéric
Liu, Xiaoshan
Pokaż więcej
Temat :
Safety Critical Systems
Sequence Diagram
Clock Constraint Specification Language
Formal Verification
Safety Requirements
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
TASE 2020-14th International Symposium on Theoretical Aspects of Software Engineering
TASE 2020-14th International Symposium on Theoretical Aspects of Software Engineering, Dec 2020, Hangzhou, China
Crossref
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4069cd193473321bcb24baf6a8cd7d8
https://hal.inria.fr/hal-03121933
Tytuł :
A Model-Based Combination Language for Scheduling Verification
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, FrédéricAff9, Aff10
Pokaż więcej
Źródło :
Model-Driven Engineering and Software Development : 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers. 1161:27-49
Materiał oryginalny :
This work was financially Supported by the CLARITY project and by a .
Książka elektroniczna
Tytuł :
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Autorzy :
Zhang, Yuanrui
Wu, Hengyang
Chen, Yixiang
Mallet, Frédéric
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118
Materiał oryginalny :
F. Mallet—This work was partly funded by the French Government, through program #ANR-11-LABX-0031-01.
Książka elektroniczna
Tytuł :
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Autorzy :
Zhang, Min
Song, Fu
Mallet, Frédéric
Chen, Xiaohong
Pokaż więcej
Źródło :
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. 11424:61-78
Materiał oryginalny :
This work is supported by NSFC grants 61872146, 61532019 and 61761136011.
Książka elektroniczna
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
Materiał oryginalny :
The updated version of the book can be found at https://doi.org/10.1007/978-3-030-39459-2
Książka elektroniczna
Tytuł :
Meta-models Combination for Reusing Verification Techniques
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat :
Computer science
System model
Software engineering
business.industry
business
Reuse
Model transformation
computer.programming_language
computer
Global consistency
Universal language
language.human_language
language
Software
Competence (human resources)
Software deployment
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Crossref
MODELSWARD
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development
MODELSWARD 2019-7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65849510f1aebfc1cd86edc4a85e4f17
Tytuł :
From Logical Time Scheduling to Real-Time Scheduling
Autorzy :
Mallet, Frédéric
Zhang, Min
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
39th IEEE Real-Time Systems Symposium
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14e31935433d56444382cea7bc26cd0e
https://hal.inria.fr/hal-01971976
Tytuł :
Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło :
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a7cff74e05b53febb10a80c4bd33d573
https://hal.inria.fr/hal-01898291
Tytuł :
An Executable Semantics of Clock Constraint Specification Language and Its Applications
Autorzy :
Zhang, Min
Mallet, FrédéricAff12, Aff13, Aff14
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers. 596:37-51
Książka elektroniczna
Tytuł :
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Autorzy :
Zhang, Min
Mallet, FrédéricAff16, Aff17, Aff18
Zhu, Huibiao
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:433-449
Materiał oryginalny :
This research work was supported by National Natural Science Foundation of China (NSFC) projects: No. 61502171, No. 61361136002, and China HGJ Project: No. 2014ZX01038-101-001.
Książka elektroniczna
Tytuł :
MARTE/CCSL for Modeling Cyber-Physical Systems
Autorzy :
Mallet, Frédéric
Pokaż więcej
Źródło :
Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. :26-49
Książka elektroniczna
Tytuł :
Coalgebraic Semantic Model for the Clock Constraint Specification Language
Autorzy :
Mallet, FrédéricAff3, Aff4, Aff5
Zholtkevych, Grygoriy
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. 476:174-188
Książka elektroniczna
Tytuł :
Clock constraint specification language: specifying clock constraints with UML/MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Źródło :
Innovations in Systems and Software Engineering: A NASA Journal. October 2008 4(3):309-314
Czasopismo naukowe
Tytuł :
Multi-View Design for Cyber-Physical Systems
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat :
CPS
MDE
Heterogeneous Modeling
Multi-View Design
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f4c9e67bbccfd106fd54753546d98d2c
https://hal.inria.fr/hal-01669918
Tytuł :
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Autorzy :
Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, Frédéric
Yang, Mingrui
Pokaż więcej
Temat :
stochastic hybrid automata
MARTE
statistical model checkin
energy- aware building
pCCSL
cyber-physical systems
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS
Źródło :
FACS 2016-The 13th International Conference on Formal Aspects of Component Software
FACS 2016-The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e8d4955406a34891b6d961b48c4b005
https://hal.inria.fr/hal-01394769
Tytuł :
Modeling SystemVerilog Assertions using SysML and CCSL
Autorzy :
Mehmood Khan, Aamir
Mallet, Frédéric
Muhammad, Rashid
Pokaż więcej
Temat :
System Specification
Time Model
Verification techniques
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Electronic System Level Synthesis Conference
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a15ada8ccb4eddece0d14ebe721bca11
https://hal.inria.fr/hal-01257934
Tytuł :
Improving the Efficiency of Synchronized Product with Infinite Transition Systems
Autorzy :
Romenska, YuliiaAff6, Aff7
Mallet, Frédéric
Pokaż więcej
Źródło :
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:285-307
Książka elektroniczna
Tytuł :
Boundness Issues in CCSL Specifications
Autorzy :
Mallet, Frédéric
Millo, Jean-Viven
Pokaż więcej
Źródło :
Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:20-35
Książka elektroniczna
Tytuł :
Reifying Concurrency for Executable Metamodeling
Autorzy :
Combemale, Benoît
De Antoni, Julien
Larsen, Matias Vara
Mallet, Frédéric
Barais, Olivier
Baudry, Benoit
France, Robert B.
Pokaż więcej
Źródło :
Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. 8225:365-384
Materiał oryginalny :
This work is partially supported by the ANR INS Project GEMOC (ANR-12-INSE-0011), and the CNRS PICS Project MBSAR.
Książka elektroniczna
Tytuł :
Framework for Heterogeneous Modeling and Composition
Autorzy :
Vara Larsen, Matias Ezequiel
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Troisième Conférence en IngénieriE du Logiciel
Conférence en IngénieriE du Logiciel
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75ccd8938dcde23895f2654dbf64aaec
https://hal.archives-ouvertes.fr/hal-01073202
Tytuł :
TimeSquare: Treat Your Models with Logical Time
Autorzy :
DeAntoni, Julien
Mallet, Frédéric
Pokaż więcej
Źródło :
Objects, Models, Components, Patterns : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. 7304:34-41
Materiał oryginalny :
This work has been partially supported by the RT-SIMEX ANR project (http://www.rtsimex.org) and the PRESTO ARTEMIS project (http://www.presto-embedded.eu/).
Książka elektroniczna
Tytuł :
Lazy Parallel Synchronous Composition of In finite Transition Systems
Autorzy :
Romenska, Yuliia
Mallet, Frédéric
Pokaż więcej
Temat :
Synchronized Product
MARTE
CCSL
Verification
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
International Conference on ICT in Education, Research and Industrial Applications
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. pp.130-145
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06ca0d6d4f5b5fb131e6b4c20335e855
https://hal.inria.fr/hal-00839978
Tytuł :
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Autorzy :
Mallet, Frédéric
de Simone, Robert
Pokaż więcej
Źródło :
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL’08. 36:27-41
Książka elektroniczna
Tytuł :
Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata
Autorzy :
Yin, Ling
Deantoni, Julien
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
CCSL
Scheduling
Automata
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
[Research Report] RR-8102, 2012, pp.22
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65e7328b204f69501edde8215fd9879e
https://hal.inria.fr/hal-00743874
Tytuł :
TimeSquare: Treat your Models with Logical Time
Autorzy :
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
TimeSquare
Logical time
Embedded systems
Polychronous specifications
Model driven Engineering
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Model-driven architecture
computer.programming_language
computer
Java code
Clock constraint specification language
Eclipse
Specification language
Unified Modeling Language
Computer science
Plug-in
computer.software_genre
Programming language
Time model
Źródło :
TOOLS-50th International Conference on Objects, Models, Components, Patterns-2012
TOOLS-50th International Conference on Objects, Models, Components, Patterns-2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩
Crossref
TOOLS (50)
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13175a4425e645f42b66d69061d985be
https://hal.inria.fr/hal-00688590
Tytuł :
Semantic Multi-View model for Low-Power
Autorzy :
Gomez, Carlos
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
Power Management
UPF
CPF
MARTE
IEEE 1801
CCSL
TimeSquare
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Ingénierie Dirigée par les Modèles (IDM)
Journées nationales IDM, CAL, et du GDR GPL
Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0eb8a9f3ec6e96187ba339602fd00eef
https://hal.archives-ouvertes.fr/hal-00596239
Tytuł :
Logical time @ work: the RT-Simex project
Autorzy :
Deantoni, Julien
Mallet, Frédéric
André, Charles
Thomas, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Sophia Antipolis Formal Approach
Sophia Antipolis Formal Approach, Apr 2011, Sophia, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b751f4d5f5fad744171ae7bfaba4a7d
https://hal.inria.fr/inria-00587151
Tytuł :
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
Autorzy :
Le Tallec, Jean-François
Deantoni, Julien
De Simone, Robert
Ferrero, Benoît
Mallet, Frédéric
Maillet-Contoz, Laurent
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011)
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::109f2ab4fa00311a5a1906d4dc5ca66e
https://hal.inria.fr/inria-00601840
Tytuł :
Logical Time: observation vs. implementation
Autorzy :
Mallet, Frédéric
André, Charles
De Simone, Robert
Pokaż więcej
Temat :
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Software Engineering Notes
Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dc020940c43c4ba579b08e5372edf52d
https://hal.inria.fr/inria-00576647
Tytuł :
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
Autorzy :
Demathieu, Sébastien
Bernard, Yves
Maillet-Contoz, Laurent
Bordin, Matteo
Mallet, Frédéric
Pokaż więcej
Temat :
Model-Based System Engineering
Embedded Systems
SysML
MARTE
AADL
IP-XACT
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Génie logiciel
Génie logiciel, C & S, 2010, pp.38-42
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ce39b8d0f73586250684a8d23ef066ae
https://hal.inria.fr/inria-00545266
Tytuł :
Un processus automatique pour concevoir les profils UML
Autorzy :
Mallet, Frédéric
André, Charles
Lagarde, François
Pokaż więcej
Temat :
Modélisation multiniveau
profil UML
MARTE
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (5), pp.391-419
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ea9a62a93e3b81e985e15054113a5c3
https://hal.inria.fr/inria-00482745
Tytuł :
On the Formal Execution of UML and DSL Models
Autorzy :
Deantoni, Julien
Mallet, Frédéric
André, Charles
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db5a4e825c46521b8be10188fcd3bfd1
https://hal.inria.fr/inria-00587100
Tytuł :
Event-based vs. Time-Triggered Communications with UML Marte
Autorzy :
Mallet, Frédéric
De Simone, Robert
Rioux, Laurent
Pokaż więcej
Temat :
UML
AADL
event-based
time-triggered
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Forum on specification, verification & Design Languages (FDL'08)
Forum on specification, verification & Design Languages (FDL'08), ECSI, Sep 2008, Stuttgart, Germany. pp.154-159, ⟨10.1109/FDL.2008.4641438⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d4c269775a542479eb9d73619bf7e480
https://hal.inria.fr/inria-00371392
Tytuł :
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
Autorzy :
Demathieu, Sébastien
Gérard, Sébastien
Mallet, Frédéric
Pokaż więcej
Temat :
UML
MARTE
Standard
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
ElectroniqueS
ElectroniqueS, Groupe01, 2008, pp.2-6
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f17a3d93fa122f534951bc7e49728edf
https://hal.inria.fr/inria-00371386
Tytuł :
CCSL: specifying clock constraints with UML/MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
UML profile
Time model
MARTE
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering, Springer Verlag, 2008, Special Issue on UML & Formal Methods, 4 (3), pp.309-314. ⟨10.1007/s11334-008-0055-2⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::37d87f2d76d55b2cf8c4cafbfa6dc66a
https://hal.inria.fr/inria-00371371
Tytuł :
Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
Autorzy :
André, Charles
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
UML
MARTE
Time
AADL
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
ECSI Forum on specification & Design Languages (FDL)
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04b86daa0f7932f63c5da5746b0aafe4
https://hal.inria.fr/inria-00204484

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