Theories of Programming and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396977, 9783642396984
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Safety versus Security in the Quality Calculus

2013 ◽  
pp. 285-303 ◽  
Author(s):  
Hanne Riis Nielson ◽  
Flemming Nielson

Managing Environment and Adaptation Risks for the Internetware Paradigm

2013 ◽  
pp. 271-284 ◽  
Author(s):  
Jian Lü ◽  
Yu Huang ◽  
Chang Xu ◽  
Xiaoxing Ma

Optimal Bounds for Multiweighted and Parametrised Energy Games

2013 ◽  
pp. 244-255 ◽  
Author(s):  
Line Juhl ◽  
Kim Guldstrand Larsen ◽  
Jean-François Raskin
Keyword(s):  
Optimal Bounds ◽  
Energy Games

Some Fixed-Point Issues in PPTL

2013 ◽  
pp. 151-165
Author(s):  
Zhenhua Duan ◽  
Qian Ma ◽  
Cong Tian ◽  
Nan Zhang
Keyword(s):  
Fixed Point

Concept Analysis Based Approach to Statistical Web Testing

2013 ◽  
pp. 100-117
Author(s):  
Chao Chen ◽  
Huaikou Miao ◽  
Yihai Chen
Keyword(s):  
Concept Analysis ◽  
Web Testing

scholarly journals Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

2013 ◽  
pp. 354-373 ◽  
Author(s):  
Hengjun Zhao ◽  
Naijun Zhan ◽  
Deepak Kapur
Keyword(s):  
Hybrid Systems

scholarly journals On the Relationship between LTL Normal Forms and Büchi Automata

2013 ◽  
pp. 256-270 ◽  
Author(s):  
Jianwen Li ◽  
Geguang Pu ◽  
Lijun Zhang ◽  
Zheng Wang ◽  
Jifeng He ◽  
...  
Keyword(s):  
Normal Forms ◽  
Büchi Automata ◽  
Buchi Automata ◽  
The Relationship
Load More ...
Sign in / Sign up

Export Citation Format

Share Document