Back to Results
First PageMeta Content
Software engineering / Design / Diagrams / Automata theory / Models of computation / Class diagram / Stereotype / Activity diagram / Sequence diagram / UML diagrams / Unified Modeling Language / Data modeling


¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow
Add to Reading List

Document Date: 2014-12-01 09:12:56

Open Document

File Size: 2,78 MB

Share Result on Facebook

City

Augsburg / /

Company

Information Flow Secure Systems / /

IndustryTerm

automated code analysis tools / secure systems / intended airline / airline / travel booking system consisting / flow analysis tools / privacyaware systems / airline service / travel agency service / code analysis tool / model-driven software / software developer / code analysis tools / automated analysis tools / smartphone applications / web services / /

OperatingSystem

Android / /

Organization

Wolfgang Reif Institut f¨ / Informatik Institut / /

Person

Java / Ron van der Meyden / Wolfgang Reif / Kuzman Katkalov / Peter Fischer / Final Code (Java) / Kurt Stenzel / /

Position

model / Travel Planner / software developer / case study Travel Planner / mobile travel planner / /

ProgrammingLanguage

Java / /

Technology

Java / smartphones / smartphone / GPS / Android / operating system / mobile device / mobile devices / /

URL

http /

SocialTag