scientific article
From MaRDI portal
Publication:2766550
zbMATH Open0986.68777MaRDI QIDQ2766550
Publication date: 17 June 2002
Title of this publication is not available (Why is that?)
Control/observation systems involving computers (process control, etc.) (93C83) Computing methodologies and applications (68U99) Network protocols (68M12)
Related Items (4)
Verification of Hybrid Systems ⋮ Title not available (Why is that?) ⋮ Time robustness in MTL and expressivity in hybrid system falsification ⋮ Title not available (Why is that?)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766550)
