Journal · ACSD
15
Publications
259
Citations
Top concepts
EngineeringDesignFormal MethodsComplex SystemsSoftware DesignSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringSoftware Engineering
Publications per year
2007–2007
15
15
Mapping Applications to Tiled Multiprocessor Embedded Systems
Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid et al. · 2007 · 177 citations
A Formal Model for Integrating Multiple Views
Juliana Bowles, Behzad Bordbar · 2007 · 19 citations
A model-driven design approach for mechatronic systems
Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis et al. · 2007 · 14 citations
Output-Determinacy and Asynchronous Circuit Synthesis
Victor Khomenko, Mark Schaefer, Walter Vogler · 2007 · 13 citations · Full text
Rows per page
1–4 of 15