Christian Johansen Keywords
Jump to:
navigation
,
search
Concurrency models
+
Formal methods
+
Formal tools
+
Logic in computer science
+
Privacy
+
Process algebras
+
Safety verification
+
Security
+
Semantics of programming languages
+
Verifiable security
+
From page
Property
Navigation menu
Personal tools
Log in
Namespaces
Special page
Variants
Views
Actions
Search
Main
Master/PhD Courses
Master Thesis
Research Areas
Applied Research for
5G Networks
Internet - IoPTS
eHealth
Environmental Monitoring
List of
Courses
Master Thesis
Projects
Partners
Users
Recent changes
Forms (create or edit)
Add User
Add ActionItem
Add Meeting
Add Presentation
Add Master-Thesis
Add Lecture
Add Course
Add Paper
Add PhD_Thesis
Add a Project
Add Task
Add Organisation
Add Project Proposal
Interested in PhD?
Help
Help
MediaWiki FAQ
Semantic Wiki help
Tools
Special pages
Printable version
