Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Raclet, Jean-Baptiste
117  Ergebnisse:
Personensuche X
?
1

Finding Behavioral Indicators from Contextualized Commits i..:

, In: Frontiers in Software Engineering Education; Lecture Notes in Computer Science,
Pons, Mika ; Bruel, Jean-Michel ; Raclet, Jean-Baptiste. - p. 56-68 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Mixed Nondeterministic-Probabilistic Automata: Blending gra..:

Benveniste, Albert ; Raclet, Jean-Baptiste
Discrete Event Dynamic Systems.  33 (2023)  4 - p. 455-505 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Traceability by Design: Design of an Interactive System to ..:

, In: Lecture Notes in Computer Science; Responsive and Sustainable Educational Futures,
Pons, Mika ; Bruel, Jean-Michel ; Raclet, Jean-Baptiste. - p. 611-617 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Designing a Revision System: An Exploratory Qualitative Stu..:

, In: Lecture Notes in Computer Science; Responsive and Sustainable Educational Futures,
Ollivier, Denis ; Silvestre, Franck ; Raclet, Jean-Baptiste.. - p. 294-307 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Git4School: A Dashboard for Supporting Teacher Intervention..:

, In: Addressing Global Challenges and Quality Education; Lecture Notes in Computer Science,
Raclet, Jean-Baptiste ; Silvestre, Franck - p. 392-397 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Modal event-clock specifications for timed component-based ..:

Bertrand, Nathalie ; Legay, Axel ; Pinchinat, Sophie.
Science of Computer Programming.  77 (2012)  12 - p. 1212-1234 , 2012
Link: https://doi.org/10.1016/..
 
?
7

Modal interfaces : unifying interface automata and modal..:

, In: Proceedings of the seventh ACM international conference on Embedded software,
Raclet, Jean-Baptiste ; Badouel, Eric ; Benveniste, Albert... - p. 87-96 , 2009
Link: https://dl.acm.org/doi/1..
 
?
8

Residual for Component Specifications:

Raclet, Jean-Baptiste
Electronic Notes in Theoretical Computer Science.  215 (2008)  - p. 93-110 , 2008
Link: https://doi.org/10.1016/..
 
?
9

Traçabilité by design : conception d'un système interactif ..:

Pons, Mika ; Bruel, Jean-Michel ; Raclet, Jean-Baptiste.
ISBN: 978-2-901384-07-6.  , 2023
Link: https://hal.science/hal-..
 
?
10

Mixed Nondeterministic-Probabilistic Automata ; Mixed Nonde..:

Benveniste, Albert ; Raclet, Jean-Baptiste
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10626-023-00375-x.  , 2023
Link: https://ut3-toulouseinp...
 
?
11

Conception d'un système de révisions : une étude qualitativ..:

Ollivier, Denis ; Silvestre, Franck ; Raclet, Jean-Baptiste..
ISBN: 978-2-901384-07-6.  , 2023
Link: https://hal.science/hal-..
 
?
12

Mixed Nondeterministic-Probabilistic Automata ; Mixed Nonde..:

Benveniste, Albert ; Raclet, Jean-Baptiste
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10626-023-00375-x.  , 2023
Link: https://ut3-toulouseinp...
 
?
13

Mixed Nondeterministic-Probabilistic Automata ; Mixed Nonde..:

Benveniste, Albert ; Raclet, Jean-Baptiste
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10626-023-00375-x.  , 2023
Link: https://ut3-toulouseinp...
 
?
14

Conception d'un système de révisions : une étude qualitativ..:

Ollivier, Denis ; Silvestre, Franck ; Raclet, Jean-Baptiste..
ISBN: 978-2-901384-07-6.  , 2023
Link: https://hal.science/hal-..
 
?
15

Traçabilité by design : conception d'un système interactif ..:

Pons, Mika ; Bruel, Jean-Michel ; Raclet, Jean-Baptiste.
ISBN: 978-2-901384-07-6.  , 2023
Link: https://hal.science/hal-..
 
1-15