Concepedia

Jonathan Eidelman

JE

1

Publications

24

Citations

1

H-Index

2021

Active since

Affiliations

Queen Mary University of London(Current)

Jonathan Eidelman is an author at Queen Mary University of London specializing in formal specification, software validation, and system software.

Top concepts

Publications per year

2021–2021

1

Publications

1

Code‐level model checking in the software development workflow at Amazon Web Services

Nathan Chong, Byron Cook, Jonathan Eidelman et al. · Software Practice and Experience · 2021 · 24 citations · Full text

, , +23

Rows per page

1–1 of 1