scientific article
From MaRDI portal
Publication:2847845
zbMath1271.68115MaRDI QIDQ2847845
Gyula Simon, Gabor Karsai, Aditya Agrawal
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104052089
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Collaborative models for autonomous systems controller synthesis ⋮ Semantic translation of Simulink diagrams to input/output extended finite automata ⋮ PTIME parametric verification of safety properties for reasonable linear hybrid automata ⋮ Verifying hierarchical Ptolemy II discrete-event models using real-time maude ⋮ A denotational semantics of simulink with higher-order UTP ⋮ Model Continuity in Discrete Event Simulation
Uses Software
This page was built for publication:
