Torao Takami
43
Abonné
Personal Information
Entreprise/Lieu de travail
Tokyo, Japan, Sumida Japan
Profession
Web Application and Backend System Architect
Secteur d’activité
Technology / Software / Internet
Site Web
hazm.at/mox
Mots-clés
pluscal
tla+
formal verification
multiprocess
multithread
asynchronous system
distributed system
concurrent system
specification language
formal mehod
Tout plus
- Présentations
- Documents
- Infographies