Validating, Verifying and Testing Timed Data-Flow Reactive Systems in Coq from Controlled Natural-Language Requirements Documento uri icon

  •  
  • Visão geral
  •  
  • Identidade
  •  
  • Ver todos
  •