Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Benoit Boyer"'
Autor:
Benoit Boyer, Danny A. Pannese
Publikováno v:
Journal of Academy of Business and Economics. 20:185-199
Publikováno v:
Theoretical Aspects of Computing – ICTAC 2021
Theoretical Aspects of Computing – ICTAC 2021, 12819, Springer International Publishing, pp.134-151, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85315-0_9⟩
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151, ⟨10.1007/978-3-030-85315-0_9⟩
Theoretical Aspects of Computing – ICTAC 2021 ISBN: 9783030853143
Theoretical Aspects of Computing – ICTAC 2021, 12819, Springer International Publishing, pp.134-151, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-85315-0_9⟩
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing
ICTAC 2021-18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan, Kazakhstan. pp.134-151, ⟨10.1007/978-3-030-85315-0_9⟩
Theoretical Aspects of Computing – ICTAC 2021 ISBN: 9783030853143
International audience; Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogeneity induces complexity that makes CPSs challe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::55f8d1f29833e797b9cb4c9450e27069
https://hal.inria.fr/hal-03488361
https://hal.inria.fr/hal-03488361
Publikováno v:
FM 2019-23rd International Symposium on Formal Methods
FM 2019-23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal. pp.1-22
Lecture Notes in Computer Science ISBN: 9783030309411
FM
FM 2019-23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal. pp.1-22
Lecture Notes in Computer Science ISBN: 9783030309411
FM
Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart of many safety-critical devices, it is of primary importance to correc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::243f5e1a8534873706788d5b1b4d00e6
https://hal.inria.fr/hal-02193642
https://hal.inria.fr/hal-02193642
Publikováno v:
Advances in Networked-based Information Systems ISBN: 9783030290283
NBiS
NBiS
Cyber security has been an important issue for control systems, however, there may be a shortage of security experts in the near future. Most of security engineering methods focus only at high-level such as architectures, and do not consider the avai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c8e1b6e445d7fc3c349ce095b56ffa4
https://doi.org/10.1007/978-3-030-29029-0_27
https://doi.org/10.1007/978-3-030-29029-0_27
Publikováno v:
17th International Conference on Application of Concurrency to System Design
17th International Conference on Application of Concurrency to System Design, Jun 2017, Zaragoza, Spain
ACSD
17th International Conference on Application of Concurrency to System Design, Jun 2017, Zaragoza, Spain
ACSD
International audience; Modularity and composability are essential properties to facilitate and scale the design of cyber-physical systems from the specification of hybrid, discrete and continuous, components. Modularity is essential to break down a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a77ccfb597696752816d59c556f065da
https://hal.inria.fr/hal-01615140/file/acsd17.pdf
https://hal.inria.fr/hal-01615140/file/acsd17.pdf
Autor:
Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoit Boyer
Publikováno v:
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Autor:
Benoit, Boyer
Publikováno v:
Annales de dermatologie et de venereologie. 144(2)
Autor:
François Bergeron, Benoit Boyer
Publikováno v:
Canadian Journal of Administrative Sciences / Revue Canadienne des Sciences de l'Administration. 3:243-260
Previous researchers could not find empirical support for a relationship between the characteristics of the data-processing charge-back system and the impacts on the organization. The lack of empirical evidence may be caused by a missing variable pro
Autor:
Benoit Boyer, Richard L. Moreau
Publikováno v:
The Canadian Surveyor. 26:20-37
Pour des raisons de securite et d’entretien, l’Hydro-Quebec a entrepris depuis quelques annees des programmes d’auscultation systematique de ses ouvrages importants. Les donnees obtenues peuvent eg...
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 133, Iss Proc. AiSoS 2013, Pp 47-66 (2013)
This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful too
Externí odkaz:
https://doaj.org/article/6e37ce7f9d01480fa3189536de91044c