Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Experiences with Formal Engineering

Autor: Sijtema, M., Salaün, G., Schätz, B., Belinfante, Axel, Stoelinga, Mariëlle Ida Antoinette, Marinelli, L.

Publikováno v: Science of computer programming, 80(Part A), 188-209. Elsevier
16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 117-133
STARTPAGE=117;ENDPAGE=133;TITLE=16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011
Formal Methods for Industrial Critical Systems ISBN: 9783642244308
FMICS

We report on the actual industrial use of formal methods during the development of a software bus. During an internship at Neopost Inc., of 14 weeks, we developed the server component of a software bus, called the XBus, using formal methods during th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a25660d885f5f908d1d6681fafb75e32
https://doi.org/10.1007/978-3-642-24431-5_10

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Symbolic power analysis of cell libraries

Autor: Raffelsieper, M., Mousavi, M.R., Salaün, G., Schätz, B.

Publikováno v: Formal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings), 134-148
STARTPAGE=134;ENDPAGE=148;TITLE=Formal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings)
Formal Methods for Industrial Critical Systems ISBN: 9783642244308
FMICS

Cell libraries are collections of logic cores (cells) used to construct larger chip designs; hence, any reduction in their power consumption may have a major impact in the power consumption of larger designs. The power consumption of a cell is often

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4806447a74f40559a8002e4ef32a341c
https://doi.org/10.1007/978-3-642-24431-5_11

Aegean tectonics, a record of slab-overriding plate interactions (Invited)

Autor: Jolivet, Laurent, Faccenna, Claudio, Huet, B., Lecomte, E., Labrousse, Loic, Denèle, Y., Le Pourhiet, L., Lacombe, Olivier, Burov, E. B., Meyer, Bertrand, Suc, J., Popescu, S., Monié, P., Philippon, M., Gueydan, Frédéric, Brun, J., Paul, A., Salaün, G., Armijo, Rolando

Publikováno v: American Geophysical Union
American Geophysical Union, Dec 2010, San Francisco, United States. pp.04

International audience; Two opposing visions of the Aegean backarc tectonics implicitly contain contrasting images of the rheological behaviour of the lihosphere, supported by different sets of observations. The propagation of the NAF and extension i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::32a9d5f45db84eada99d90f550158127
https://insu.hal.science/insu-00860518