Design of Cyber-Physical Systems Using Macro-CAD: whole-lifecycle model-based systems engineering, architecture, simulation & analysis by integrating formal methods in a verifiable virtual machine

Follow

incredible how the professor whose research goal is "to synthesize tools and algorithms to aid the development of reliable embedded and cyber-physical systems and devices, using techniques from formal methods" says my research is quite different from his interests and expertise.

· · Web · 0 · 1 · 0
Sign in to participate in the conversation
Scholar Social

Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.