Top

Formal Methods in System Design

Published in:

01-08-1997

Verification of Real-Time Systems using Linear Relation Analysis

Authors: Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff

Published in: Formal Methods in System Design | Issue 2/1997

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

previous article Computing Accumulated Delays in Real-time Systems

next article Efficient Verification of Parallel Real–Time Systems

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Title: Verification of Real-Time Systems using Linear Relation Analysis
Authors: Nicolas Halbwachs
Yann-Erick Proy
Patrick Roumanoff
Publication date: 01-08-1997
Publisher: Kluwer Academic Publishers
Published in: Formal Methods in System Design / Issue 2/1997
Print ISSN: 0925-9856
Electronic ISSN: 1572-8102
DOI: https://doi.org/10.1023/A:1008678014487

Springer Professional

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 2/1997

Efficient Verification of Parallel Real–Time Systems

Introduction to the Special Issue on Computer-Aided Verification (CAV93)

Computing Accumulated Delays in Real-time Systems

An Efficient Algorithm for Minimizing Real-Time Transition Systems

Premium Partner