INFORMA


AcronymDefinition
INFORMAIntegrated Formal Approaches for Embedded Real-Time Systems