![Models of computation / Software engineering / Data modeling / Theoretical computer science / Systems engineering / Model-driven architecture / Finite-state machine / UML state machine / UMLsec / Unified Modeling Language / Automata theory / Digital electronics Models of computation / Software engineering / Data modeling / Theoretical computer science / Systems engineering / Model-driven architecture / Finite-state machine / UML state machine / UMLsec / Unified Modeling Language / Automata theory / Digital electronics](https://www.pdfsearch.io/img/eafd1c7c7fe7818c4c1a24a9158afede.jpg) Date: 2014-12-01 09:13:15Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics | | Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, GermanyAdd to Reading ListSource URL: www.isse.uni-augsburg.deDownload Document from Source Website File Size: 2,23 MBShare Document on Facebook
|