import>Unknown user
No edit summary
 
m 1 revision imported
 
(2 intermediate revisions by 2 users not shown)
(No difference)

Latest revision as of 10:35, 28 May 2026


Title A Behavior Specification and Simulation Methodology for Embedded Real-Time Software
DOI https://doi.org/10.1109/ds-rt55542.2022.9932069
Raw Affiliation Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany
Clean Page Target Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany