Concepedia

Author

Jean-René Beauvais

Institut de Recherche en Informatique et Systèmes Aléatoires

Also Known As

Beauvais, Jean-René, J Beauvais, J.-R. Beauvais, Jean-René Beauvais

5

Publications

23

Citations

2

H-Index

14

Concepts

All Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires
JB

About

Jean-René Beauvais is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in formal verification, engineering, and formal specification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

21

2

Computer Science

2

2

21

3

Systems Engineering

2

2

21

4

Computer Engineering

1

1

10

5

Software Analysis

1

1

10

Jean-René Beauvais

×

2

Publications

21

Citations

2

H-Index

YearCitations

Modeling statecharts and activitycharts as signal equations

Jean-René Beauvais, Éric Rutten, Thierry Gautier,

ACM Transactions on Software Engineering and Methodology

2001

11

A translation of Statecharts into Signal

Jean-René Beauvais, Thierry Gautier, Paul Le Guernic,

2002

10

Page 1