Lecture Notes in Computer Science - Correct System Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540666240, 9783540480921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving Theorems About Java-Like Byte Code

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_7 ◽

1999 ◽

pp. 139-162 ◽

Cited By ~ 7

Author(s):

J Strother Moore

Download Full-text

Formal Methods for the International Space Station ISS

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_16 ◽

1999 ◽

pp. 363-389 ◽

Cited By ~ 6

Author(s):

Jan Peleska ◽

Bettina Buth

Keyword(s):

Formal Methods ◽

International Space Station ◽

Space Station ◽

International Space

Download Full-text

Translation Validation: From SIGNAL to C

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_11 ◽

1999 ◽

pp. 231-255 ◽

Cited By ~ 13

Author(s):

A. Pnueli ◽

O. Shtrichman ◽

M. Siegel

Keyword(s):

Translation Validation

Download Full-text

The Alma Project, or How First-Order Logic Can Help us in Imperative Programming

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_5 ◽

1999 ◽

pp. 89-113 ◽

Cited By ~ 3

Author(s):

Krzysztof R. Apt ◽

Andrea Schaerf

Keyword(s):

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

METAFrame in Practice: Design of Intelligent Network Services

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_17 ◽

1999 ◽

pp. 390-415 ◽

Cited By ~ 36

Author(s):

Bernhard Steffen ◽

Tiziana Margaria

Keyword(s):

Network Services ◽

Intelligent Network

Download Full-text

Correct Real-Time Software for Programmable Logic Controllers

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_15 ◽

1999 ◽

pp. 342-362 ◽

Cited By ~ 6

Author(s):

Ernst-Rüdiger Olderog

Keyword(s):

Real Time ◽

Programmable Logic ◽

Programmable Logic Controllers ◽

Logic Controllers

Download Full-text

Compilation and Synthesis for Real-Time Embedded Controllers

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_12 ◽

1999 ◽

pp. 256-287

Author(s):

Martin Fränzle1 ◽

Markus Müller-Olm

Keyword(s):

Real Time

Download Full-text

Real-Time Constraints Through the ProCoS Layers

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_3 ◽

1999 ◽

pp. 61-78 ◽

Cited By ~ 1

Author(s):

Anders P. Ravn ◽

Hans Rischel

Keyword(s):

Real Time ◽

Time Constraints

Download Full-text

Theories of programming: Top-Down and Bottomup and Neeting in the Middle

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_1 ◽

1999 ◽

pp. 3-28

Author(s):

C. A. R. Hoare

Keyword(s):

Top Down

Download Full-text

On the Existence of Network Invariants for Verifying Parameterized Systems

Lecture Notes in Computer Science - Correct System Design ◽

10.1007/3-540-48092-7_9 ◽

1999 ◽

pp. 180-197 ◽

Cited By ~ 10

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson

Keyword(s):

Parameterized Systems

Download Full-text

Lecture Notes in Computer Science - Correct System DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Proving Theorems About Java-Like Byte Code

Formal Methods for the International Space Station ISS

Translation Validation: From SIGNAL to C

The Alma Project, or How First-Order Logic Can Help us in Imperative Programming

METAFrame in Practice: Design of Intelligent Network Services

Correct Real-Time Software for Programmable Logic Controllers

Compilation and Synthesis for Real-Time Embedded Controllers

Real-Time Constraints Through the ProCoS Layers

Theories of programming: Top-Down and Bottom­up and Neeting in the Middle

On the Existence of Network Invariants for Verifying Parameterized Systems

Lecture Notes in Computer Science - Correct System Design
Latest Publications

Theories of programming: Top-Down and Bottomup and Neeting in the Middle