IFIP Logo
 An IFIP TC1 Working Group
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairs: C. Cirstea, F. Gadducci, H. Schlingloff      Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski


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)
https://www.praguecollege.cz/about-us/our-people/mohamed-bettaz