Concepedia

P. Moeschler

PM

1

Publications

20

Citations

1

H-Index

2002

Active since

Affiliations

University of Neuchâtel(Current)

P. Moeschler is an author at University of Neuchâtel specializing in formal verification, system software, and formal methods.

Top concepts

Publications per year

2002–2002

1

Publications

1

High-level modeling using extended timing diagrams - A formalism for the behavioral specification of digital hardware

P. Moeschler, Hans Peter Amann, Fausto Pellandini · 2002 · 20 citations

, , +25

Rows per page

1–1 of 1