logo
System specification and verification

컨퍼런스 결과 (2)

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
Systems theory and computational modelsSystem specification and verificationFormal testing and quality assurance+52 더 보기

International Symposium on Temporal Representation and Reasoning (TIME)

Rank: COffline
London, UK
Aug 27, 2025 - Aug 29, 2025
Temporal and spatio-temporal datainformation and/or knowledge managementArtificial Intelligence+2 더 보기