Pascalin Amagbégnon

According to our database, Pascalin Amagbégnon authored at least 3 papers between 1995 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Verifying the Implementation of an Error Control Code.

Pascalin Amagbégnon, Uri Barkai

Formal Methods Syst. Des., 2003

1995

Implementation of the Data-Flow Synchronous Language SIGNAL.

Pascalin Amagbégnon, Loïc Besnard, Paul Le Guernic

Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

SIGNAL.

Pascalin Amagbégnon, Paul Le Guernic, Hervé Marchand, Éric Rutten

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995