Menü
Alle
Direkt bestellen
Merkzettel
Warenkorb

20%¹ Wochenend-Rabatt + Versand GRATIS mit Code: HAPPY22

¹Ausgenommen preisgebundene & ausgewählte Produkte

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (Sprache: Englisch)
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Formal Methods for the Design of Real-Time Systems".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform,...
Mehr zum Inhalt Video Inhaltsverzeichnis
Leider schon ausverkauft
versandkostenfrei

Bestellnummer: 4273137

Buch 57.73 €
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Leider schon ausverkauft
versandkostenfrei

Bestellnummer: 4273137

Buch 57.73 €
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform,...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
Formal Methods for the Design of Real-Time Systems / Lecture Notes in Computer Science Bd.3185
Bd. 3185

Formal Methods for the Design of Real-Time Systems / Lecture Notes in Computer Science Bd.3185

0 Sterne
eBook

56.70 €

Download bestellen
Erschienen am 07.12.2004
sofort als Download lieferbar
Solar-Leuchte 'Blüte' 3er-Set

Solar-Leuchte 'Blüte' 3er-Set

4.5 Sterne
(20)

19.99 €

In den Warenkorb
lieferbar
Geschenkset LED-Katze "Sophie"

Geschenkset LED-Katze "Sophie"

5 Sterne
(17)

7.99 €

In den Warenkorb
lieferbar
Für immer deine Tochter

Für immer deine Tochter

Hera Lind

4.5 Sterne
(22)
Buch

10.99 €

In den Warenkorb
Erschienen am 11.04.2022
lieferbar
Solar-Gartenstecker "Kirschblüten" 2er-Set

Solar-Gartenstecker "Kirschblüten" 2er-Set

4 Sterne
(9)

Statt 24.99 €

19.99 €

In den Warenkorb
lieferbar
VapoWesp Räucherbox hellbraun inkl. Pulver Orange & Rosemary 50g

VapoWesp Räucherbox hellbraun inkl. Pulver Orange & Rosemary 50g

0 Sterne

29.99 €

(59.98€ / 100g)

Vorbestellen
Voraussichtlich lieferbar ab 31.05.2022
Notizblock "Delina"

Notizblock "Delina"

4.5 Sterne
(15)

5.99 €

In den Warenkorb
lieferbar
Zaundeko "Vögel", 5er-Set

Zaundeko "Vögel", 5er-Set

4 Sterne
(31)

10.99 €

In den Warenkorb
lieferbar
Lucky Plant Pflanzenstärkung Pulver (Inhalt: 200g weiß inkl. Messlöffel)

Lucky Plant Pflanzenstärkung Pulver (Inhalt: 200g weiß inkl. Messlöffel)

1 Sterne
(1)

9.99 €

(5.00€ / 100g)

In den Warenkorb
lieferbar
-20%
tolino vision 6 eBook-Reader

tolino vision 6 eBook-Reader

3.5 Sterne
(31)

Statt 169.00 €

134.89 €

In den Warenkorb
lieferbar
Solar-Gartenstecker "Flower Power" 5er-Set

Solar-Gartenstecker "Flower Power" 5er-Set

4.5 Sterne
(62)

14.99 €

In den Warenkorb
lieferbar
Zettelbox mit To-Do-Listen

Zettelbox mit To-Do-Listen

5 Sterne
(8)

4.99 €

In den Warenkorb
lieferbar
Solar-Lichterkette "Classic Garden", 10m

Solar-Lichterkette "Classic Garden", 10m

4.5 Sterne
(17)

9.99 €

In den Warenkorb
lieferbar
Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

4 Sterne
(117)

19.99 €

In den Warenkorb
lieferbar
Solar-Hängedeko "Fleur"

Solar-Hängedeko "Fleur"

3.5 Sterne
(38)

Statt 7.99 €

5.99 €

In den Warenkorb
lieferbar
Die Halligärztin-Saga

Die Halligärztin-Saga

Lena Johannson

5 Sterne
(7)
Buch

14.99 € 10

In den Warenkorb
Erschienen am 07.03.2022
lieferbar
Solar-Wasserspiel Seerose

Solar-Wasserspiel Seerose

4 Sterne
(33)

19.99 €

In den Warenkorb
lieferbar
-15%
Sparset Solar-Lichterkette "Classic Garden", 10m, 2er-Set

Sparset Solar-Lichterkette "Classic Garden", 10m, 2er-Set

4 Sterne
(21)

Statt 19.98 €

16.99 €

In den Warenkorb
lieferbar
-17%
Solar-Gartenstecker (Schirm: 3er-Set)

Solar-Gartenstecker (Schirm: 3er-Set)

4.5 Sterne
(3)

Statt 59.97 €

49.99 €

In den Warenkorb
lieferbar
Produktdetails
Produktinformationen zu „Formal Methods for the Design of Real-Time Systems “
Klappentext zu „Formal Methods for the Design of Real-Time Systems “
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the att- tion of a considerable number of computer scientists and engineers from various research areas. This volume collects a set of papers accompanying the lectures of the fourth edition of theInternational School on Formal Methods for the Design of C- puter,Communication andSoftware Systems (SFM). The school addressed the use of formal methods in computer science as a prominent approach to the r- orous design of computer, communication and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM-04:RT was devoted to real-time systems. It covered formal models and languagesforthespeci?cation,modeling,analysis,andveri?cationoftheseti- critical systems, the expressiveness of such models and languages, as well as supporting tools and related applications in di?erent domains.
Inhaltsverzeichnis zu „Formal Methods for the Design of Real-Time Systems “
Models and Languages.- Decision Problems for Timed Automata: A Survey.- Timed Petri Nets: Efficiency of Asynchronous Systems.- Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).- Expressiveness of Timed Events and Timed Languages.- Real Time and Stochastic Time.- On the Semantic Foundations of Standard UML 2.0.- Tools and Applications.- A Tutorial on Uppaal.- The IF Toolset.- Embedded Software Analysis with MOTOR.
Bibliographische Angaben
  • 2004, 2004, 297 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Ed. by M. Bernardo a. F. Corradini
  • Verlag: Springer
  • ISBN-10: 3540230688
  • ISBN-13: 9783540230687
  • Erscheinungsdatum: 01.09.2004
Sprache:
Englisch
Kommentar zu "Formal Methods for the Design of Real-Time Systems"
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Formal Methods for the Design of Real-Time Systems".

Kommentar verfassen
Andere Kunden kauften auch
Solar-Leuchte 'Blüte' 3er-Set

Solar-Leuchte 'Blüte' 3er-Set

4.5 Sterne
(20)

19.99 €

In den Warenkorb
lieferbar
Geschenkset LED-Katze "Sophie"

Geschenkset LED-Katze "Sophie"

5 Sterne
(17)

7.99 €

In den Warenkorb
lieferbar
Für immer deine Tochter

Für immer deine Tochter

Hera Lind

4.5 Sterne
(22)
Buch

10.99 €

In den Warenkorb
Erschienen am 11.04.2022
lieferbar
Solar-Gartenstecker "Kirschblüten" 2er-Set

Solar-Gartenstecker "Kirschblüten" 2er-Set

4 Sterne
(9)

Statt 24.99 €

19.99 €

In den Warenkorb
lieferbar
VapoWesp Räucherbox hellbraun inkl. Pulver Orange & Rosemary 50g

VapoWesp Räucherbox hellbraun inkl. Pulver Orange & Rosemary 50g

0 Sterne

29.99 €

(59.98€ / 100g)

Vorbestellen
Voraussichtlich lieferbar ab 31.05.2022
Notizblock "Delina"

Notizblock "Delina"

4.5 Sterne
(15)

5.99 €

In den Warenkorb
lieferbar
Zaundeko "Vögel", 5er-Set

Zaundeko "Vögel", 5er-Set

4 Sterne
(31)

10.99 €

In den Warenkorb
lieferbar
Lucky Plant Pflanzenstärkung Pulver (Inhalt: 200g weiß inkl. Messlöffel)

Lucky Plant Pflanzenstärkung Pulver (Inhalt: 200g weiß inkl. Messlöffel)

1 Sterne
(1)

9.99 €

(5.00€ / 100g)

In den Warenkorb
lieferbar
-20%
tolino vision 6 eBook-Reader

tolino vision 6 eBook-Reader

3.5 Sterne
(31)

Statt 169.00 €

134.89 €

In den Warenkorb
lieferbar
Solar-Gartenstecker "Flower Power" 5er-Set

Solar-Gartenstecker "Flower Power" 5er-Set

4.5 Sterne
(62)

14.99 €

In den Warenkorb
lieferbar
Zettelbox mit To-Do-Listen

Zettelbox mit To-Do-Listen

5 Sterne
(8)

4.99 €

In den Warenkorb
lieferbar
Solar-Lichterkette "Classic Garden", 10m

Solar-Lichterkette "Classic Garden", 10m

4.5 Sterne
(17)

9.99 €

In den Warenkorb
lieferbar
Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

Solar-Gartenstecker "Fantasia", Fiberglas, 3er-Set

4 Sterne
(117)

19.99 €

In den Warenkorb
lieferbar
Solar-Hängedeko "Fleur"

Solar-Hängedeko "Fleur"

3.5 Sterne
(38)

Statt 7.99 €

5.99 €

In den Warenkorb
lieferbar
Die Halligärztin-Saga

Die Halligärztin-Saga

Lena Johannson

5 Sterne
(7)
Buch

14.99 € 10

In den Warenkorb
Erschienen am 07.03.2022
lieferbar
Solar-Wasserspiel Seerose

Solar-Wasserspiel Seerose

4 Sterne
(33)

19.99 €

In den Warenkorb
lieferbar
-15%
Sparset Solar-Lichterkette "Classic Garden", 10m, 2er-Set

Sparset Solar-Lichterkette "Classic Garden", 10m, 2er-Set

4 Sterne
(21)

Statt 19.98 €

16.99 €

In den Warenkorb
lieferbar
-17%
Solar-Gartenstecker (Schirm: 3er-Set)

Solar-Gartenstecker (Schirm: 3er-Set)

4.5 Sterne
(3)

Statt 59.97 €

49.99 €

In den Warenkorb
lieferbar
Weitere Empfehlungen zu „Formal Methods for the Design of Real-Time Systems “
Weitere Artikel zum Thema
Dieser Artikel in unseren Themenspecials
0 Gebrauchte Artikel zu „Formal Methods for the Design of Real-Time Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich