R&D Projects
Confirmed projects database queries
Proposals for Research and Development Projects in all Scientific Domains - 2004
Space-Time-Types: behavioural and spatial type systems
POSC/EIA/55582/2004
-
Main Research Area
-
Computer Engineering
-
Keywords
-
concurrent and mobile systems
-
modal and spatial logics
-
static analysis
-
proof systems
-
Funding
- €
90,000.00
Project institutions not found