Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Prof. Dr.

Mohamed Bettaz

School of Media & IT / Dpt of Computer Systems and Dpt of Software Engineering
Prague City University / Czech Technical University in Prague
Czech Republic
Research topics: Software engineering, Formal specification, Object-Z, Graph Transformation, Institution theory, Distributed Multi-scale Modeling and Simulation (updated at 2016-12-21)