E-LIB Suche - Ergebnisse für: Bellegarde, F.

1

PLTL-partitioned model checking for reactive systems under ..:

Chouali, S. ; Julliand, J. ; Masson, P.-A..
ACM Transactions on Embedded Computing Systems (TECS). 4 (2005) 2 - p. 267-301 , 2005

Link: https://dl.acm.org/doi/1..

2

PLTL-partitioned model checking for reactive systems under ..:

Chouali, S. ; Julliand, J. ; Masson, P.-A..
ACM Transactions on Embedded Computing Systems. 4 (2005) 2 - p. 267-301 , 2005

Link: https://doi.org/10.1145/..

3

Refinemant verification of fair transition systems can cont..:

, In: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design,

Bellegarde, F. ; Chouali, S. ; Julliand, J. - p. 166-175 , 2005

Link: https://dl.acm.org/doi/1..

4

Software design for reliability and reuse : a proof-of-c..:

, In: Proceedings of the conference on TRI-Ada '94,

Bell, J. ; Bellegarde, F. ; Hook, J.... - p. 396-404 , 1994

Link: https://dl.acm.org/doi/1..

5

Plant Viruses Can Alter Aphid-Triggered Calcium Elevations ..:

Then, C. (Christiane) ; Bellegarde, F. (Fanny) ; Schivre, G. (Geoffrey)... , 2021

Link: https://www.mdpi.com/207..

6

Une application numérique en soutien de l'éducation thérape..:

Calvano, C. ; Hacard, F. ; Verdu, V....
Revue Française d'Allergologie. 63 (2023) 3 - p. 103448 , 2023

Link: https://doi.org/10.1016/..

7

Occupational musculoskeletal disorders of visual artists A ..:

CHANG, W. S. ; BEJJANI, F. J. ; CHYAN, D..
Ergonomics. 30 (1987) 1 - p. 33-46 , 1987

Link: https://doi.org/10.1080/..

8

Navigating Bariatric Surgery: Understanding and Managing Sh..:

Tsenteradze, Tamar ; Fayyaz, Faris ; Ekhator, Chukwuyem...
Cureus. , 2023

Link: https://doi.org/10.7759/..

9

Using the AT-EcoWellness Framework to Increase the Intentio..:

Brown, Cian L. ; Christian, David D. ; Reese, Ryan F..
The Journal for Specialists in Group Work. 48 (2023) 3 - p. 229-247 , 2023

Link: https://doi.org/10.1080/..

10

What are the behavioural needs of the Gallus gallus species:

Warin, L. ; Guinebretière, M. ; Bellegarde, L....
Animal - science proceedings. 13 (2022) 5 - p. 679 , 2022

Link: https://doi.org/10.1016/..

11

Infections sur dérivation ventriculaire externe en réanimat..:

Bellegarde, J. ; Lieutier-Colas, F. ; Leduc, S....
Médecine et Maladies Infectieuses. 50 (2020) 6 - p. S154-S155 , 2020

Link: https://doi.org/10.1016/..

12

FCC-hh: The Hadron Collider – Future Circular Collider Conc..:

Abada, A ; Abbrescia, M ; AbdusSalam, S. S...
info:eu-repo/semantics/altIdentifier/wos/000477858500001. , 2021

Link: https://publikationen.bi..

13

HE-LHC: The High-Energy Large Hadron Collider – Future Circ..:

FCC Collaboration ; Abada, A ; Abbrescia, M...
info:eu-repo/semantics/altIdentifier/wos/000476546300001. , 2021

Link: https://publikationen.bi..

14

FCC-ee: The Lepton Collider:

Abada, A ; Abbrescia, M ; AbdusSalam, S. S...
doi:10.17863/CAM.53360. , 2020

Link: https://doi.org/10.17863..

15

FCC Physics Opportunities:

Abada, A ; Abbrescia, M ; AbdusSalam, S. S...
doi:10.17863/CAM.53334. , 2020

Link: https://doi.org/10.17863..