Lecture Notes in Computer Science - Formal Methods: Foundations and Applications
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642410703, 9783642410710
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Toward the Revision of CTL Models through Kripke Modal Transition Systems

2013 ◽  
pp. 115-130 ◽  
Author(s):  
Paulo T. Guerra ◽  
Aline Andrade ◽  
Renata Wassermann
Keyword(s):  
Transition Systems ◽  
Modal Transition Systems

Unifying Theories of Logic and Specification

2013 ◽  
pp. 18-33 ◽  
Author(s):  
Victor Bandur ◽  
Jim Woodcock

Generating Protocol Software from CPN Models Annotated with Pragmatics

2013 ◽  
pp. 227-242 ◽  
Author(s):  
Kent Inge Fagerland Simonsen ◽  
Lars M. Kristensen ◽  
Ekkart Kindler

A Refinement Framework for Autonomous Agents

2013 ◽  
pp. 163-178 ◽  
Author(s):  
Qin Li ◽  
Graeme Smith
Keyword(s):  
Autonomous Agents

A Formal Semantics for SysML Activity Diagrams

2013 ◽  
pp. 179-194 ◽  
Author(s):  
Lucas Lima ◽  
André Didier ◽  
Márcio Cornélio
Keyword(s):  
Formal Semantics ◽  
Activity Diagrams ◽  
Sysml Activity Diagrams

On the Use of SPIN for Studying the Behavior of Nested Petri Nets

2013 ◽  
pp. 83-98 ◽  
Author(s):  
Mirtha Lina Fernández Venero ◽  
Flávio Soares Corrêa da Silva
Keyword(s):  
Petri Nets

Institution-Based Semantics for MOF and QVT-Relations

2013 ◽  
pp. 34-50 ◽  
Author(s):  
Daniel Calegari ◽  
Nora Szasz
Keyword(s):  
Qvt Relations

Deductive Generalization

2013 ◽  
pp. 17-17
Author(s):  
Kenneth L. McMillan

Algebraic Graph Transformations with Inheritance

2013 ◽  
pp. 211-226 ◽  
Author(s):  
Michael Löwe ◽  
Harald König ◽  
Christoph Schulz ◽  
Marius Schultchen
Keyword(s):  
Graph Transformations
Load More ...
Sign in / Sign up

Export Citation Format

Share Document