Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319668444, 9783319668451
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Modelling and Verification of Timed Robotic Controllers

2017 ◽  
pp. 18-33 ◽  
Author(s):  
Pedro Ribeiro ◽  
Alvaro Miyazawa ◽  
Wei Li ◽  
Ana Cavalcanti ◽  
Jon Timmis

scholarly journals Analysis of Synchronisations in Stateful Active Objects

2017 ◽  
pp. 195-210 ◽  
Author(s):  
Ludovic Henrio ◽  
Cosimo Laneve ◽  
Vincenzo Mastandrea
Keyword(s):  
Active Objects

Generalised Test Tables: A Practical Specification Language for Reactive Systems

2017 ◽  
pp. 129-144 ◽  
Author(s):  
Bernhard Beckert ◽  
Suhyun Cha ◽  
Mattias Ulbrich ◽  
Birgit Vogel-Heuser ◽  
Alexander Weigl
Keyword(s):  
Reactive Systems ◽  
Specification Language

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs

2017 ◽  
pp. 111-126 ◽  
Author(s):  
Ferruccio Damiani ◽  
Michael Lienhardt ◽  
Radu Muschevici ◽  
Ina Schaefer
Keyword(s):  
Type Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document