Tomohiro Oda | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Stéphane Ducasse
12 publications
Hugo Daniel Macedo
10 publications
John Fitzgerald
3 publications
Gaël Dur
1 publication

research

∙ 03/27/2023

Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL

Formal specification is a basis for rigorous software implementation. VD...

0 Tomohiro Oda, et al. ∙

research

∙ 01/19/2021

Proceedings of the 18th International Overture Workshop

This volume contains the papers presented at the 18th International Over...

0 John Fitzgerald, et al. ∙