FORMAL METHODS IN SYSTEM DESIGN

主题词：Formal Methods in Verification; Logic, programming, and type systems; Software Testing and Debugging Techniques; Embedded Systems Design Techniques; Petri Nets in System Modeling; Software Reliability and Analysis Research; Model-Driven Software Engineering Techniques; Distributed systems and fault tolerance; Parallel Computing and Optimization Techniques; Security and Verification in Computing; Real-Time Systems Scheduling; Advanced Software Engineering Methodologies; VLSI and Analog Circuit Testing; Logic, Reasoning, and Knowledge; Radiation Effects in Electronics; semigroups and automata theory; Software Engineering Research; Machine Learning and Algorithms; Low-power high-performance VLSI design; Numerical Methods and Algorithms; Advanced Malware Detection Techniques; Polynomial and algebraic computation; Interconnection Networks and Systems; Manufacturing Process and Optimization; Safety Systems Engineering in Autonomy