Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540411963, 9783540409113

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

How to Write a Healthiness Condition

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_18 ◽

2000 ◽

pp. 299-317 ◽

Cited By ~ 2

Author(s):

Yifeng Chen

Download Full-text

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_16 ◽

2000 ◽

pp. 277-296 ◽

Cited By ~ 4

Author(s):

Jonathan P. Bowen

Keyword(s):

Logic Programming ◽

Operational Semantics ◽

Hardware Description Language ◽

Description Language ◽

Literate Programming ◽

Hardware Description ◽

Verilog Hardware Description Language

Download Full-text

Structuring Real-Time Object-Z Specifications

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_7 ◽

2000 ◽

pp. 97-115 ◽

Cited By ~ 5

Author(s):

Graeme Smith ◽

Ian Hayes

Keyword(s):

Real Time

Download Full-text

Specification and Analysis of Automata-Based Designs

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_11 ◽

2000 ◽

pp. 176-193 ◽

Cited By ~ 1

Author(s):

Jeremy Bryans ◽

Lynne Blair ◽

Howard Bowman ◽

John Derrick

Download Full-text

A Concurrent and Compositional Petri Net Semantics of Preemption

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_19 ◽

2000 ◽

pp. 318-337 ◽

Cited By ~ 5

Author(s):

Hanna Klaudel ◽

Franck Pommereau

Keyword(s):

Petri Net

Download Full-text

Towards Model Checking Stochastic Process Algebra

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_24 ◽

2000 ◽

pp. 420-439 ◽

Cited By ~ 22

Author(s):

Holger Hermanns ◽

Joost-Pieter Katoen ◽

Joachim Meyer-Kayser ◽

Markus Siegle

Keyword(s):

Stochastic Process ◽

Model Checking ◽

Process Algebra ◽

Stochastic Process Algebra

Download Full-text

Why Doesn’t Anyone Use Formal Methods?

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_17 ◽

2000 ◽

pp. 297-298 ◽

Cited By ~ 4

Author(s):

Wolfram Schulte

Keyword(s):

Formal Methods

Download Full-text

μ-Charts and Z: Hows, Whys, and Wherefores

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_15 ◽

2000 ◽

pp. 255-276 ◽

Cited By ~ 4

Author(s):

Greg Reeve ◽

Steve Reeves

Download Full-text

Construction of Finite Labelled Transition Systems from B Abstract Systems

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_14 ◽

2000 ◽

pp. 235-254 ◽

Cited By ~ 14

Author(s):

Didier Bert ◽

Francis Cave

Keyword(s):

Transition Systems ◽

Labelled Transition Systems

Download Full-text

Structural Refinement in Object-Z / CSP

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-40911-4_12 ◽

2000 ◽

pp. 194-213 ◽

Cited By ~ 10

Author(s):

John Derrick ◽

Graeme Smith

Keyword(s):

Structural Refinement

Download Full-text

Lecture Notes in Computer Science - Integrated Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

How to Write a Healthiness Condition

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Structuring Real-Time Object-Z Specifications

Specification and Analysis of Automata-Based Designs

A Concurrent and Compositional Petri Net Semantics of Preemption

Towards Model Checking Stochastic Process Algebra

Why Doesn’t Anyone Use Formal Methods?

μ-Charts and Z: Hows, Whys, and Wherefores

Construction of Finite Labelled Transition Systems from B Abstract Systems

Structural Refinement in Object-Z / CSP

Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications