DECM, A user oriented formalism for high level discrete event specifications of real-time systems

DOI10.1023/A:1015548507922zbMath1007.68673OpenAlexW1538732989MaRDI QIDQ1857661

Jean-Luc Paillet, Norbert Giambiasi

Publication date: 19 February 2003

Published in: Journal of Intelligent \& Robotic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1015548507922

zbMATH Keywords

control systemsproduction systemsformal specificationsdiscrete event dynamic systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40)

This page was built for publication: DECM, A user oriented formalism for high level discrete event specifications of real-time systems