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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540766483, 9783540766506

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Denotational Semantics for Handel-C Hardware Compilation

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

10.1007/978-3-540-76650-6_16 ◽

2007 ◽

pp. 266-285 ◽

Cited By ~ 5

Author(s):

Juan Ignacio Perna ◽

Jim Woodcock

Keyword(s):

Denotational Semantics ◽

Hardware Compilation

Download Full-text

A Verification Framework for Agent Knowledge

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

10.1007/978-3-540-76650-6_5 ◽

2007 ◽

pp. 57-75

Author(s):

Jin Song Dong ◽

Yuzhang Feng ◽

Ho-fung Leung

Keyword(s):

Agent Knowledge

Download Full-text

Integrating Formal Methods with System Management

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

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

2007 ◽

pp. 19-36

Author(s):

Martin de Groot

Keyword(s):

Formal Methods ◽

System Management

Download Full-text

Challenges in Software Certification

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

10.1007/978-3-540-76650-6_2 ◽

2007 ◽

pp. 4-18 ◽

Cited By ~ 1

Author(s):

Tom Maibaum

Keyword(s):

Software Certification

Download Full-text

Erratum to: Challenges in Software Certification

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

10.1007/978-3-540-76650-6_22 ◽

2007 ◽

pp. E1-E1

Author(s):

Tom Maibaum

Keyword(s):

Software Certification

Download Full-text

Machine-Assisted Proof Support for Validation Beyond Simulink

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

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

2007 ◽

pp. 96-115 ◽

Cited By ~ 2

Author(s):

Chunqing Chen ◽

Jin Song Dong ◽

Jun Sun

Download Full-text

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

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

10.1007/978-3-540-76650-6_18 ◽

2007 ◽

pp. 307-326

Author(s):

Guillermo Rodriguez-Navas ◽

Julián Proenza ◽

Hans Hansson

Keyword(s):

Model Checking ◽

Clock Synchronization ◽

Hybrid Automata

Download Full-text

Integrating Specification-Based Review and Testing for Detecting Errors in Programs

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

10.1007/978-3-540-76650-6_9 ◽

2007 ◽

pp. 136-150 ◽

Cited By ~ 10

Author(s):

Shaoying Liu

Download Full-text

Calculating and Composing Progress Properties in Terms of the Leads-to Relation

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

10.1007/978-3-540-76650-6_21 ◽

2007 ◽

pp. 366-386

Author(s):

Arjan J. Mooij

Download Full-text

Reducing Test Sequence Length Using Invertible Sequences

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

10.1007/978-3-540-76650-6_11 ◽

2007 ◽

pp. 171-190 ◽

Cited By ~ 1

Author(s):

Lihua Duan ◽

Jessica Chen

Keyword(s):

Sequence Length ◽

Test Sequence

Download Full-text

Formal Methods and Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Denotational Semantics for Handel-C Hardware Compilation

A Verification Framework for Agent Knowledge

Integrating Formal Methods with System Management

Challenges in Software Certification

Erratum to: Challenges in Software Certification

Machine-Assisted Proof Support for Validation Beyond Simulink

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking

Integrating Specification-Based Review and Testing for Detecting Errors in Programs

Calculating and Composing Progress Properties in Terms of the Leads-to Relation

Reducing Test Sequence Length Using Invertible Sequences

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