Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319281131, 9783319281148
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Full Operational Semantics for Asynchronous Relational Networks

2015 ◽  
pp. 131-150
Author(s):  
Ignacio Vissani ◽  
Carlos Gustavo Lopez Pombo ◽  
Ionuţ Ţuţu ◽  
José Luiz Fiadeiro
Keyword(s):  
Operational Semantics ◽  
Relational Networks

Use Case Analysis Based on Formal Methods: An Empirical Study

2015 ◽  
pp. 110-130 ◽  
Author(s):  
Marcos Oliveira ◽  
Leila Ribeiro ◽  
Érika Cota ◽  
Lucio Mauro Duarte ◽  
Ingrid Nunes ◽  
...  
Keyword(s):  
Empirical Study ◽  
Formal Methods ◽  
Case Analysis ◽  
Use Case

scholarly journals Coalgebraic Semantics of Heavy-Weighted Automata

2015 ◽  
pp. 48-68
Author(s):  
Marie Fortin ◽  
Marcello M. Bonsangue ◽  
Jan Rutten
Keyword(s):  
Weighted Automata

scholarly journals What Is a Derived Signature Morphism?

2015 ◽  
pp. 90-109 ◽  
Author(s):  
Till Mossakowski ◽  
Ulf Krumnack ◽  
Tom Maibaum
Load More ...
Sign in / Sign up

Export Citation Format

Share Document