Formal Techniques for Networked and Distributed Systems - FORTE 2003

DOI10.1007/11965zbMath1279.68208OpenAlexW2501695616MaRDI QIDQ5900956

M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale

Publication date: 26 May 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11965

zbMATH Keywords

conformance testingtimed EFSMSDLtimed extensions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: Formal Techniques for Networked and Distributed Systems - FORTE 2003