Vahid Rafe

Vahid Rafe

City, University of London
在 city.ac.uk 的电子邮件经过验证
被引用次数：1501
Search based software engineering Formal Modeling and Verification Model Transformation Agent
Peter Gjøl Jensen

Peter Gjøl Jensen

Associate Professor at Aalborg University
在 cs.aau.dk 的电子邮件经过验证
被引用次数：967
formal modeling and verification distributed systems embedded systems machine intelligence game theory
Simin Cai

Simin Cai

Alstom
在 alstomgroup.com 的电子邮件经过验证
被引用次数：144
Database theory Real-time data management Formal modeling and verification
Mathias Grund Lehmann Sørensen

Mathias Grund Lehmann Sørensen

Cand. Scient in Computer Science
在 adless.net 的电子邮件经过验证
被引用次数：129
formal modeling and verification distributed systems embedded systems home automation cyber
Debjyoti Bera

Debjyoti Bera

TNO
在 tno.nl 的电子邮件经过验证
被引用次数：115
Petri nets Software Architecture Formal Modeling and Verification Model Driven Engineering