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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Frontiers of Computer Science Ročník 2; číslo 1; s. 1 - 11
Hlavní autoři:	Zhang, Jian, Zhang, Wenhui, Zhan, Naijun, Shen, Yidong, Chen, Haiming, Zhang, Yunquan, Wang, Yongji, Wu, Enhua, Wang, Hongan, Zhu, Xueyang
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Heidelberg SP Higher Education Press 01.03.2008 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!