scientific article

zbMath1217.68066MaRDI QIDQ3539947

No author found.

Publication date: 19 November 2008

Full work available at URL: http://www.jucs.org/jucs_14_12/simulation_of_timed_abstract

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simulationmodel-checkingreal-timeabstract state machinepredicate timed logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application ⋮ Moded and continuous abstract state machines

This page was built for publication: