( en | de | ru )

 

Disambiguierung von "Rioboo, Renaud"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verified Functional Iterators Using the FoCaLiZe Environment.

, und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 317-331. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Renaud Quekelberghe

Renaud Keriven

Otto Renaud

Renaud Quekelberghe

Simon Renaud

 

Weitere Publikationen von Autoren mit dem selben Namen

Generating FoCaLiZe Specifications from UML Models., , und . ICAASE, Volume 1294 von CEUR Workshop Proceedings, Seite 157-164. CEUR-WS.org, (2014)Verified Functional Iterators Using the FoCaLiZe Environment., und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 317-331. Springer, (2014)On the way to certify Computer Algebra Systems., , , , und . Calculemus, Volume 23 von Electronic Notes in Theoretical Computer Science, Seite 370-385. Elsevier, (1999)Polynomial Gcd Computations over Towers of Algebraic Extensions., und . AAECC, Volume 948 von Lecture Notes in Computer Science, Seite 365-382. Springer, (1995)Modeling UML Template Classes with FoCaLiZe., , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 87-102. Springer, (2014)Invariants for the FoCaL language.. Ann. Math. Artif. Intell., 56 (3-4): 273-296 (2009)Formalizing UML/OCL structural features with FoCaLiZe., , und . Soft Comput., 24 (6): 4149-4164 (2020)Modelling UML state machines with FoCaLiZe., , und . Int. J. Inf. Commun. Technol., 13 (1): 34-54 (2018)Les objets des mathématiques., und . L'OBJET, 10 (4): 83-118 (2004)Integration of Rational Functions: Rational Computation of the Logarithmic Part., und . J. Symb. Comput., 9 (2): 113-115 (1990)