FAVAS
A formal verification platform for real-time systems
FCT
Start Date:
February, 2010 Team: Jorge Sousa Pinto and Maria João Frade
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.