Tomohiro Oda | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙