Dansk
DTU.dk
Index
Contact
Phone book
Internal Pages
DTU Alumni
Søgeord
Education
Education
MSc degree programme
PhD programmes
IMM courses
Coursebase DTU
Laboratories
Summer Schools
Welcome to DTU
DTU Informatics bookshop
Research
Research
Research areas
Algorithms and Logic
Cognitive Systems
Data Analysis
Dynamical Systems
---
Image Analysis & Computer Graphics
Language-Based Technology
Mathematical Statistics
Scientific Computing
Software Engineering
Research centers
Publications
Industrial collaboration
Industrial collaboration
Public sector consultancy
Advanced Technology Foundation Projects
Continuing education
Model-based Software Engineering Center
MT-Lab
PhD education
Software Development Center
Statistical Consulting Center
About DTU Informatics
About DTU Informatics
Contact
Employees
Facts about DTU Informatics
Getting to DTU Informatics
Advisory Board
Information material
Find the expert
Organisation
Vision
Available jobs
Library
Portalen DTU
Alumni association (in Danish)
News
News
Latest news
News Archive at DTU Informatics
Calendar at DTU Informatics
English
>
Research
>
Software Engineering
>
Selected Links
Send link
Print
Research areas
Algorithms and Logic
Cognitive Systems
Data Analysis
Dynamical Systems
Embedded Systems Engineering
Image Analysis & Computer Graphics
Language-Based Technology
Mathematical Statistics
Scientific Computing
Software Engineering
Courses
People
Publications
Recent Books
Selected Links
Competence Center
Software Development Center (SDC)
Research centers
Publications
Selected Links
Links to relevant homepages
The specification language: CASL
GRID systems
The Railway Domain
The specification language: RAISE
Logics of Formal Specification Languages
DTUSat
Last updated by
---
12.09.2012
Responsible: Joseph Kiniry
Top
Matematiktorvet
DTU - Building 303B
DK-2800 Kgs. Lyngby
---
Tel +45 4525 3031
EAN 5798000428515
Cookies