Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
IMT - School for Advanced Studies Lucca
Address
Piazza San Francesco 6
55100 Lucca
Italien
55100 Lucca
Projects
Research Grants
Completed projects
A new formal approach for the efficient analysis of continuous-state dynamical models of software systems using process algebra.
(Applicant
Tribastone, Ph.D., Mirco
)
Additional Information
© 2024
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung