Dependable Software Engineering. Theories, Tools, and Applications 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings Dong Wei Heftet / 2022 / Engelsk
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction Shukla Sandeep Kumar Innbundet / 2010 / Engelsk
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction Shukla Sandeep Kumar Heftet / 2014 / Engelsk
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings Nakajima, Shin Heftet / 2018 / Engelsk
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings Nakajima, Shin Innbundet / 2017 / Engelsk
Formal Methods and Models for System Design A System Level Perspective Gupta Rajesh Heftet / 2011 / Engelsk
Formal Methods and Models for System Design A System Level Perspective Gupta Rajesh Innbundet / 2004 / Engelsk
