Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday Jones Cliff Heftet / 2018 / Engelsk
Formal Methods 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings Huisman Marieke Heftet / 2021 / Engelsk
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Fränzle, Martin Heftet / 2016 / Engelsk
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach Zhan Naijun Heftet / 2018 / Engelsk
Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach Zhan Naijun Innbundet / 2016 / Engelsk
