Unifying Theories of Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319522272, 9783319522289
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Two-Way Path Between Formal and Informal Design of Embedded Systems

2017 ◽  
pp. 65-92 ◽  
Author(s):  
Mingshuai Chen ◽  
Anders P. Ravn ◽  
Shuling Wang ◽  
Mengfei Yang ◽  
Naijun Zhan
Keyword(s):  
Embedded Systems ◽  
Informal Design

scholarly journals An Axiomatic Value Model for Isabelle/UTP

2017 ◽  
pp. 155-175 ◽  
Author(s):  
Frank Zeyda ◽  
Simon Foster ◽  
Leo Freitas
Keyword(s):  
Value Model

scholarly journals Towards a UTP Semantics for Modelica

2017 ◽  
pp. 44-64 ◽  
Author(s):  
Simon Foster ◽  
Bernhard Thiele ◽  
Ana Cavalcanti ◽  
Jim Woodcock

A Stepwise Approach to Linking Theories

2017 ◽  
pp. 134-154 ◽  
Author(s):  
Pedro Ribeiro ◽  
Ana Cavalcanti ◽  
Jim Woodcock
Keyword(s):  
Stepwise Approach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document