Testing Semantics for RTPA

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

Luis Llana, Manuel A. Nunez

Publication date: 22 May 2009

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

Full work available at URL: https://doi.org/10.3233/fi-2009-0020

zbMATH Keywords

testing semanticsreal time process algebraRTPA

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in artificial intelligence (68T01)

This page was built for publication: Testing Semantics for RTPA