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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642397202, 9783642397219

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FORMULA 2.0: A Language for Formal Specifications

Lecture Notes in Computer Science - Unifying Theories of Programming and Formal Engineering Methods ◽

10.1007/978-3-642-39721-9_4 ◽

2013 ◽

pp. 156-206 ◽

Cited By ~ 2

Author(s):

Ethan K. Jackson ◽

Wolfram Schulte

Keyword(s):

Formal Specifications

Download Full-text

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Lecture Notes in Computer Science - Unifying Theories of Programming and Formal Engineering Methods ◽

10.1007/978-3-642-39721-9_2 ◽

2013 ◽

pp. 67-108 ◽

Cited By ~ 4

Author(s):

Uli Fahrenberg ◽

Kim G. Larsen ◽

Axel Legay

Keyword(s):

Performance Evaluation ◽

Real Time ◽

Real Time Systems ◽

Model Based ◽

And Performance ◽

Time Systems

Download Full-text

Formal Modelling, Analysis and Verification of Hybrid Systems

Lecture Notes in Computer Science - Unifying Theories of Programming and Formal Engineering Methods ◽

10.1007/978-3-642-39721-9_5 ◽

2013 ◽

pp. 207-281 ◽

Cited By ~ 21

Author(s):

Naijun Zhan ◽

Shuling Wang ◽

Hengjun Zhao

Keyword(s):

Hybrid Systems ◽

Formal Modelling ◽

Modelling Analysis ◽

Verification Of Hybrid Systems

Download Full-text

rCOS: Defining Meanings of Component-Based Software Architectures

Lecture Notes in Computer Science - Unifying Theories of Programming and Formal Engineering Methods ◽

10.1007/978-3-642-39721-9_1 ◽

2013 ◽

pp. 1-66 ◽

Cited By ~ 3

Author(s):

Ruzhen Dong ◽

Johannes Faber ◽

Wei Ke ◽

Zhiming Liu

Keyword(s):

Software Architectures

Download Full-text

Unifying Theories of Programming in Isabelle

Lecture Notes in Computer Science - Unifying Theories of Programming and Formal Engineering Methods ◽

10.1007/978-3-642-39721-9_3 ◽

2013 ◽

pp. 109-155 ◽

Cited By ~ 8

Author(s):

Simon Foster ◽

Jim Woodcock

Keyword(s):

Unifying Theories Of Programming

Download Full-text

Lecture Notes in Computer Science - Unifying Theories of Programming and Formal Engineering MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

FORMULA 2.0: A Language for Formal Specifications

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Formal Modelling, Analysis and Verification of Hybrid Systems

rCOS: Defining Meanings of Component-Based Software Architectures

Unifying Theories of Programming in Isabelle

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