I agree that this site is using cookies. You can find further informations here.
X
Nalpon, Nicolas
12  results:
Search for persons X
?
1

Towards a User Interface Description Language Based on Bigr..:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,
Nalpon, Nicolas ; Allignol, Cyril ; Picard, Celia - p. 360-368 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Towards the verification of user interface description lang..:

Nalpon, Nicolas
NNT: 2023ISAT0003.  , 2023
Link: https://theses.hal.scien..
 
?
3

Vers la vérification des langages de description d'interfac..:

Nalpon, Nicolas
http://www.theses.fr/2023ISAT0003/document.  , 2023
Link: http://www.theses.fr/202..
 
?
4

Towards the verification of user interface description lang..:

Nalpon, Nicolas
NNT: 2023ISAT0003.  , 2023
Link: https://theses.hal.scien..
 
?
5

Towards a User Interface Description Language Based on Bigr..:

Nalpon, Nicolas ; Allignol, Cyril ; Picard, Célia
hal-03790499.  , 2022
Link: https://hal.science/hal-..
 
?
6

Towards a User Interface Description Language Based on Bigr..:

Nalpon, Nicolas ; Allignol, Cyril ; Picard, Célia
hal-03790499.  , 2022
Link: https://hal.science/hal-..
 
?
7

Toward a User Interface Description Language based on bigra..:

Nalpon, Nicolas ; Allignol, Cyril ; Picard, Célia
hal-03754387.  , 2022
Link: https://hal.archives-ouv..
 
?
8

Toward a User Interface Description Language based on bigra..:

Nalpon, Nicolas ; Allignol, Cyril ; Picard, Célia
hal-03754387.  , 2022
Link: https://hal.science/hal-..
 
?
9

Représentation de programmes SMALA grâce à la théorie des b..:

Marcon, Cécile ; Nalpon, Nicolas ; Allignol, Cyril.
hal-03457039.  , 2021
Link: https://hal-enac.archive..
 
?
10

Représentation de programmes SMALA grâce à la théorie des b..:

Marcon, Cécile ; Nalpon, Nicolas ; Allignol, Cyril.
hal-03457039.  , 2021
Link: https://hal-enac.archive..
 
?
11

Vers la vérification de SMALA, un langage réactif interacti:

Nalpon, Nicolas ; Picard, Célia ; Allignol, Cyril.
hal-02916890.  , 2020
Link: https://hal-enac.archive..
 
?
12

Vers la vérification de SMALA, un langage réactif interacti:

Nalpon, Nicolas ; Picard, Célia ; Allignol, Cyril.
hal-02916890.  , 2020
Link: https://hal-enac.archive..
 
1-12