征稿范围
Topics of interest include, but are not limited to:
Design, synthesis, analysis, verification, and control of hybrid systems
Computability and complexity
Programming languages, specification formalisms, and software tools
Real-time computing and resource
留言