Concepedia

Jacques André Rivierre

JA

Statistics

Publications

1

Citations

49

H-Index

1

Active since

1974

Affiliations

Technion – Israel Institute of Technology(Current)

Jacques André Rivierre is an author at Technion – Israel Institute of Technology specializing in formal verification, automated reasoning, and verification.

Top concepts

Publications per year

1974–1974

1

Publications

1

Checking experiments for sequential machines

Zvi Kohavi, Jacques André Rivierre, I. Kohavi · Information Sciences · 1974 · 49 citations

, , +8

1–1 of 1