Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Le Guernic, P.
6  Ergebnisse:
Personensuche X
?
1

Modeling statecharts and activitycharts as signal equations:

Beauvais, J.-R. ; Rutten, E. ; Gautier, T....
ACM Transactions on Software Engineering and Methodology.  10 (2001)  4 - p. 397-451 , 2001
Link: https://doi.org/10.1145/..
 
?
2

Modeling statecharts and activitycharts as signal equations:

Beauvais, J.-R. ; Rutten, E. ; Gautier, T....
ACM Transactions on Software Engineering and Methodology (TOSEM).  10 (2001)  4 - p. 397-451 , 2001
Link: https://dl.acm.org/doi/1..
 
?
3

Towards a multi-formalism framework for architectural synth..:

, In: Proceedings of the 3rd international workshop on Hardware/software co-design,
Auguin, M. ; Belhadj, M. ; benzakki, J.... - p. 25-32 , 1994
Link: https://dl.acm.org/doi/1..
 
?
4

Types in a mixed language system:

Darondeau, Ph. ; Le Guernic, P. ; Raynal, M.
BIT Numerical Mathematics.  21 (1981)  3 - p. 245-254 , 1981
Link: https://doi.org/10.1007/..
 
?
5

Modeling and validation of globally asynchronous design in ..:

Mousavi, M Mohammad Reza ; Le Guernic, P ; Talpin, J-P.. , 2003
Link: http://repository.tue.nl..
 
?
6

Survival and infectivity ofToxoplasma gondiiandCryptosporid..:

Géba, E. ; Rousseau, A. ; Le Guernic, A....
Journal of Applied Microbiology.  130 (2020)  2 - p. 504-515 , 2020
Link: https://doi.org/10.1111/..
 
1-6