Keywords: Real Time Systems Group, Computer and Information Science, Computer Science, Computer, Information, Science, Informatics, Research, Distributed Systems, Embedded Systems, Real-time systems, Logic and Computation, syntax, semantics, information extraction, probabilistic models, simulation, Software Principles, Formal Methods, Software Engineering, software design, computer systems, software testing, software validation, software certification, object-oriented, concurrent, concurrency, mobile computing, mobile agents, Security, Information Assurance, energy consumption, model checking, networking, distributed applications, scalability, heterogeneous systems, Software Verification
Computers Software Operating Systems Realtime Research 网站
2025年03月10日