An engineering process for the verification of real-time systems
From MaRDI portal
Publication:877159
DOI10.1007/S00165-006-0021-4zbMATH Open1111.68076OpenAlexW2114443848WikidataQ131117452 ScholiaQ131117452MaRDI QIDQ877159FDOQ877159
Authors: N. E. Zubov 
Publication date: 19 April 2007
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-006-0021-4
Recommendations
- An iterative approach to verification of real-time systems
- scientific article; zbMATH DE number 5181779
- scientific article; zbMATH DE number 1693544
- scientific article; zbMATH DE number 1001709
- Runtime verification of embedded real-time systems
- A process algebraic framework for specification and validation of real-time systems
- Real-time verification techniques for untimed systems
- Programming Languages and Systems
Cites Work
- Uppaal in a nutshell
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
- On the complexity of fixed-priority scheduling of periodic, real-time tasks
- Bounds on Multiprocessing Timing Anomalies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Verification and Integration of Real-Time Control Software
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Title not available (Why is that?)
- Delivering Real-Time Behaviour
- Verification of Giotto based embedded control systems
- Title not available (Why is that?)
- Formal verification of discrete real-time systems
- The dynamic checking of complex real time system
- Title not available (Why is that?)
- An iterative approach to verification of real-time systems
Uses Software
This page was built for publication: An engineering process for the verification of real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877159)
