scientific article; zbMATH DE number 1882004

zbMATH Open1021.93003MaRDI QIDQ4797367FDOQ4797367

Authors: Kohji Tomita, S. Igarashi, Chiharu Hosono, T. Mizutani, Sadayuki Tsugawa 

Publication date: 13 March 2003

Title of this publication is not available (Why is that?)

Recommendations

• Real-Time Systems
• scientific article; zbMATH DE number 1693545
• A framework for real-time discrete event control
• scientific article; zbMATH DE number 1507209
• A really temporal logic

zbMATH Keywords

intelligent vehicletimed temporal logicformal representationautonomous realtime systemslateral control systemsoftware oriented formal analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems involving computers (process control, etc.) (93C83)

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 Q4797367)