Modular System Synthesis

Park, Kanghee; Johnson, Keith; D'Antoni, Loris; Reps, Thomas

doi:10.34727/2023/isbn.978-3-85448-060-0_34

Record link:

http://hdl.handle.net/20.500.12708/188855
https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_34

Title:

Citation:

Park, K., Johnson, K., D’Antoni, L., & Reps, T. (2023). Modular System Synthesis. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 257–267). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_34

reposiTUm DOI:

10.34727/2023/isbn.978-3-85448-060-0_34

CatalogPlus:

AC17202141

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Park, Kanghee
Johnson, Keith
D'Antoni, Loris
Reps, Thomas

Editors:

Nadel, Alexander
Rozier, Kristin Yvonne