Modelling Concurrent Systems Group
Edit Page
Report
Scan day: 07 February 2014 UTC
5
Virus safety - good
Description: At RWTH Aachen. Projects, bibliography and some on-line articles.
AG Modelling Concurrent Systems MOVES: Software Modeling and Verification The Modelling Concurrent Systems Group conducts research into models of concurrent behavior, with applications to programming and specification languages for parallel and distributed computation. Furthermore, we are looking for techniques for verifying concurrent systems. We develop and maintain the verification platform
Size: 396 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | AG Modelling Concurrent Systems |
| Keywords: | |
| Description: | |
| IP-address: | 137.226.118.107 |
WHOIS Info
| NS | |
| WHOIS | Status: connect |
| Date | Changed: 2010-03-19T16:17:12+01:00 Changed: 2005-01-24T19:29:11+01:00 Changed: 2002-01-17T14:29:34+01:00 |