|
|
State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development
Stefan Klikovits
,
Rima Al-Ali
,
Moussa Amrani
,
Ankica Barisic
,
Fernando Barros
,
et al.
[Research Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168832v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Description de la méthode SCRUM à travers deux expériences en entreprise
Gérard Memmi
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports
hal-03089815v3
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Framework to Relate / Combine Modeling Languages and Techniques
Rima Al-Ali
,
Moussa Amrani
,
Soumyadip Bandyopadhyay
,
Ankica Barisic
,
Fernando Barros
,
et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168831v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formal semantics of behavior specifications in the architecture analysis and design language standard
Loïc Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Clément Guy
,
Jean-Pierre Talpin
,
et al.
[Research Report] RR-8950, INRIA. 2016, pp.30 - 39
Reports
hal-01419973v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov
,
Thibault Rieutord
,
Sara Tucci-Piergiovanni
[Research Report] Institut Polytechnique Paris; CEA List. 2019
Reports
cea-02321547v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
Loïc Besnard
,
Etienne Borde
,
Pierre Dissaux
,
Thierry Gautier
,
Paul Le Guernic
,
et al.
[Technical Report] RT-0446, INRIA. 2014, pp.27
Reports
hal-00970244v2
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Systematic Literature Review on Multi-Paradigm Modelling for Cyber-Physical Systems
Ankica Barisic
,
Dušan Savić
,
Rima Al-Ali
,
Ivan Ruchkin
,
Dominique Blouin
,
et al.
[Technical Report] COST European Cooperation in Science and Technology. 2019
Reports
hal-03168834v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Energy trading marketplace using Ethereum private network
Dongmin Son
,
Sawsan Al Zahr
,
Gerard Memmi
[Technical Report] Telecom Paris. 2020
Reports
hal-03157038v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
On the Uncontended Complexity of Anonymous Consensus
Claire Capdevielle
,
Colette Johnen
,
Petr Kuznetsov
,
Alessia Milani
[Research Report] University of Bordeaux LaBRI, UMR 5800, F-33400 Talence, France Telecom ParisTech. 2015
Reports
hal-01180864v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Perfect Failure Detection with Very Few Bits
Pierre Fraigniaud
,
Sergio Rajsbaum
,
Corentin Travers
,
Petr Kuznetsov
,
Thibault Rieutord
[Research Report] LaBRI - Laboratoire Bordelais de Recherche en Informatique. 2016
Reports
hal-01365304v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Framework to Relate / Combine Modeling Languages and Techniques
Rima Al-Ali
,
Moussa Amrani
,
Soumyadip Bandyopadhyay
,
Ankica Barisic
,
Fernando Barros
,
et al.
[Technical Report] COST European Cooperation in Science and Technology. 2017
Reports
hal-03168845v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|