Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Fatma Jebali"'
Publikováno v:
System Engineering for constrained embedded systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::36bb7635b72a26828bb46b76175999b4
https://doi.org/10.1145/3522784.3522796
https://doi.org/10.1145/3522784.3522796
Autor:
Dumitru Potop-Butucaru, Fatma Jebali
Publikováno v:
ACSD 2018-18th International Conference on Application of Concurrency to System Design
ACSD 2018-18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia
2018 18th International Conference on Application of Concurrency to System Design (ACSD)
2018 18th International Conference on Application of Concurrency to System Design (ACSD), Jun 2018, Bratislava, France. pp.105-114, ⟨10.1109/ACSD.2018.00019⟩
ACSD
ACSD 2018-18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia
2018 18th International Conference on Application of Concurrency to System Design (ACSD)
2018 18th International Conference on Application of Concurrency to System Design (ACSD), Jun 2018, Bratislava, France. pp.105-114, ⟨10.1109/ACSD.2018.00019⟩
ACSD
International audience; The xMAS micro-architecture modeling language has been introduced by Intel to facilitate the formal representation and analysis of on-chip interconnect fabrics. In this paper, we introduce xMAStime, a new domain-specific langu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09d972a1285bcd5e94687e250a5d7099
https://hal.inria.fr/hal-01959370
https://hal.inria.fr/hal-01959370
Publikováno v:
Formal Aspects of Computing
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
Formal Aspects of Computing, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
Formal Aspects of Computing, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
A GALS ( Globally Asynchronous, Locally Synchronous ) system consists of several synchronous components that evolve concurrently and interact with each other asynchronously. The design of GALS systems is tedious and error-prone due to the high degree
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::83a57843ba64e752708aacbfa4b039ad
https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf
https://hal.inria.fr/hal-01290449/file/fac2egui-crc.pdf
Publikováno v:
Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14)
Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
Formal Methods and Software Engineering ISBN: 9783319117362
ICFEM
Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
Formal Methods and Software Engineering ISBN: 9783319117362
ICFEM
International audience; A GALS (Globally Asynchronous, Locally Synchronous) system consists of several synchronous subsystems that evolve concurrently and interact with each other asynchronously. Most formalisms and design tools support either the sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff136200087999c0ce75ab5466fb4a2e
https://hal.inria.fr/hal-01082348
https://hal.inria.fr/hal-01082348