scientific article; zbMATH DE number 6774198

DOI10.4230/LIPIcs.CONCUR.2015.18zbMath1374.68071MaRDI QIDQ5357692

Mohammadreza Mousavi, Narges Khakpour

Publication date: 12 September 2017

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

zbMATH Keywords

hybrid systemsmodel-based testingconformance testingcyber-physical systemsapproximate simulationbehavioral pre-ordershybrid input-output conformance testing

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (5)

Unnamed Item ⋮ A quantified coalgebraic van Benthem theorem ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: