Coverart for item
The Resource Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS Lübeck, Germany, September 19-23, 1994 Proceedings, edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil, (electronic resource)

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS Lübeck, Germany, September 19-23, 1994 Proceedings, edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil, (electronic resource)

Label
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS Lübeck, Germany, September 19-23, 1994 Proceedings
Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Title remainder
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS Lübeck, Germany, September 19-23, 1994 Proceedings
Statement of responsibility
edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil
Creator
Contributor
Subject
Language
eng
Summary
  • This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment
  • Annotation:
Member of
Is part of
http://library.link/vocab/creatorName
Langmaack, Hans
Dewey number
005.13
LC call number
  • QA76.7-76.73
  • QA76.76.C65
http://library.link/vocab/relatedWorkOrContributorName
  • Roever, Willem-Paul
  • Vytopil, Jan
  • SpringerLink (Online service)
Series statement
Lecture Notes in Computer Science,
Series volume
863
http://library.link/vocab/subjectName
  • Computer science
  • Microprogramming
  • Memory management (Computer science)
  • Software engineering
  • Logic design
  • Computer Science
  • Programming Languages, Compilers, Interpreters
  • Logics and Meanings of Programs
  • Processor Architectures
  • Special Purpose and Application-Based Systems
  • Memory Structures
  • Control Structures and Microprogramming
Summary expansion
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment
Label
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS Lübeck, Germany, September 19-23, 1994 Proceedings, edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0000323245
Dimensions
unknown
Extent
XIV, 787 ppages
Isbn
9783540584681
Isbn Type
(print)
Other control number
10.1007/3-540-58468-4
Other physical details
digital.
Specific material designation
remote
System control number
(WaSeSS)ssj0000323245
Label
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems -- ProCoS Lübeck, Germany, September 19-23, 1994 Proceedings, edited by Hans Langmaack, Willem-Paul Roever, Jan Vytopil, (electronic resource)
Publication
Control code
OCM1bookssj0000323245
Dimensions
unknown
Extent
XIV, 787 ppages
Isbn
9783540584681
Isbn Type
(print)
Other control number
10.1007/3-540-58468-4
Other physical details
digital.
Specific material designation
remote
System control number
(WaSeSS)ssj0000323245

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...