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

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540204619, 9783540398936

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient Path Finding with the Sweep-Line Method Using External Storage

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_19 ◽

2003 ◽

pp. 319-337 ◽

Author(s):

Lars Michael Kristensen ◽

Thomas Mailund

Keyword(s):

Path Finding ◽

Line Method ◽

Download Full-text

Formalising an Integrated Language in PVS

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_12 ◽

2003 ◽

pp. 187-205

Author(s):

Gwen Salaün ◽

Christian Attiogbé

Download Full-text

Service-Based Systems Engineering: Consistent Combination of Services

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_7 ◽

2003 ◽

pp. 86-104 ◽

Author(s):

Bernhard Schätz ◽

Christian Salzmann

Keyword(s):

Systems Engineering

Download Full-text

Controller Synthesis for Object Petri Nets

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_25 ◽

2003 ◽

pp. 432-451

Author(s):

Berndt Farwer ◽

Saraswati Kalvala ◽

Kundan Misra

Keyword(s):

Controller Synthesis

Download Full-text

Modeling SystemC Fixed-Point Arithmetic in HOL

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_13 ◽

2003 ◽

pp. 206-225 ◽

Author(s):

Behzad Akbarpour ◽

Sofiène Tahar

Keyword(s):

Fixed Point ◽

Fixed Point Arithmetic ◽

Point Arithmetic

Download Full-text

New Developments in Closed-Form Computation for GSPN Aggregation

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_27 ◽

2003 ◽

pp. 471-490 ◽

Author(s):

Jörn Freiheit ◽

Jonathan Billington

Keyword(s):

Closed Form ◽

New Developments

Download Full-text

Compilation by Refinement for a Practical Assembly Language

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_17 ◽

2003 ◽

pp. 286-305 ◽

Author(s):

Geoffrey Watson

Keyword(s):

Assembly Language

Download Full-text

Using State Diagrams to Describe Concurrent Behaviour

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_8 ◽

2003 ◽

pp. 105-124 ◽

Author(s):

Jim Davies ◽

Charles Crichton

Keyword(s):

Download Full-text

Compositional Verification of a Switch Fabric from Nortel Networks

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_32 ◽

2003 ◽

pp. 560-578

Author(s):

Hong Peng ◽

Sofiène Tahar ◽

Yassine Mokhtari

Keyword(s):

Compositional Verification ◽

Download Full-text

Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39893-6_3 ◽

2003 ◽

pp. 26-33

Author(s):

Mathai Joseph

Keyword(s):

Formal Reasoning

Download Full-text