Basic research in computer science and software engineering at SKLCS

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, sema...

Full description

Saved in:

Bibliographic Details
Published in:	Frontiers of Computer Science Vol. 2; no. 1; pp. 1 - 11
Main Authors:	Zhang, Jian, Zhang, Wenhui, Zhan, Naijun, Shen, Yidong, Chen, Haiming, Zhang, Yunquan, Wang, Yongji, Wu, Enhua, Wang, Hongan, Zhu, Xueyang
Format:	Journal Article
Language:	English
Published:	Heidelberg SP Higher Education Press 01.03.2008 Springer Nature B.V
Subjects:	Algorithms Automated reasoning Computer graphics Computer Science Formal specifications Grammars Logic programming Middleware Programming languages Review Article Semantics Software engineering Software testing parallel algorithms computer graphics human-computer interaction automated reasoning concurrency theory real-time system formal specification software process middleware
ISSN:	1673-7350, 2095-2228, 1673-7466, 2095-2236
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!