Testing Semantics for RTPA

DOI10.3233/FI-2009-0020zbMath1161.68711MaRDI QIDQ3625790

Manuel A. Nunez, Luis Llana

Publication date: 22 May 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

testing semantics; real time process algebra; RTPA

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68T01: General topics in artificial intelligence