Bellegarde, S.
96  results:
Search for persons X
?
2

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
 
?
4

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
 
?
5

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
 
?
6

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
 
?
8

Bulletin of Pan American Union. [Volume LXXVII. January-Jun.. 

United States congressional serial set ; serial set no. 10826;House document / 78th Congress, 1st session. House ; no. 37, pt. 1, 2, 3, 4, 5 & 6
 
?
 
?
13

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
 
?
15

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

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