Japan-Taiwan Workshop
Posted on July 24, 2016
I gave a talk at Japan-Taiwan Workshop on Secure and Dependable IoT Systems held at Tokyo Institute of Technology. My talk was about the runtime verification of dynamic actor-based systems.
I gave a talk at Japan-Taiwan Workshop on Secure and Dependable IoT Systems held at Tokyo Institute of Technology. My talk was about the runtime verification of dynamic actor-based systems.