Scilit logo
  • Rankings
  • Search Publications
    Cited-By Search
  • Sources
  • Publishers
  • Scholars
    Top Cited Scholars
  • Organizations
  • About
Register
  1. Home
  2. Publications
  3. Formal Techniques in Real-Time and Fault-Tolerant Systems
  1. Home
  2. Publications
  3. Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Publisher Website
Google Scholar
  • 1 January 1996
    • book
    • Published by Springer Nature
    • https://doi.org/10.1007/3-540-61648-9
Abstract
No abstract available
Keywords
  • ECHTZEIT-SYSTEME
  • FAULT-TOLERANT SYSTEMS
  • FEHLERTOPLERANTE SYSTEME
  • FORMAL METHODS
  • FORMALE METHODEN
  • KERNEL
  • REAL-TIME SYSTEMS
  • SICHERHEITSRELEVANTER SYSTEMENTWURF
  • SOFTWARE ARCHITEKTUR
  • SYSTEM
  • VARIABLE
  • AUTOMATA
  • FORMAL METHOD
  • FORMAL VERIFICATION
  • VERIFICATION

This publication has 0 references indexed in Scilit:

Scilit logo

Have questions? Email us at support@scilit.com

© 2025 Scilit is subsidized by MDPI.

MDPI initiatives

  • MDPI Journals
  • MDPI Books
  • Sciforum
  • Proceedings Series
  • Preprints.org
  • SciProfiles
  • Encyclopedia
  • JAMS

Legal

  • Privacy
  • Terms
  • About
  • Contact
  • Disclaimer

Follow us

  • facebook icon
  • x icon
  • linkedin icon

Join us

  • Career

© 2025 Scilit is subsidized by MDPI.