Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642245589, 9783642245596
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Differencing Labeled Transition Systems

2011 ◽  
pp. 537-552 ◽  
Author(s):  
Zhenchang Xing ◽  
Jun Sun ◽  
Yang Liu ◽  
Jin Song Dong
Keyword(s):  
Transition Systems

Formal Derivation of a Distributed Program in Event B

2011 ◽  
pp. 420-436 ◽  
Author(s):  
Alexei Iliasov ◽  
Linas Laibinis ◽  
Elena Troubitsyna ◽  
Alexander Romanovsky
Keyword(s):  
Formal Derivation

scholarly journals Synchronous AADL and Its Formal Analysis in Real-Time Maude

2011 ◽  
pp. 651-667 ◽  
Author(s):  
Kyungmin Bae ◽  
Peter Csaba Ölveczky ◽  
Abdullah Al-Nayeem ◽  
José Meseguer
Keyword(s):  
Real Time ◽  
Formal Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document