Formal methods for real time and probabilistic systems 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999 ; proceedings

Formal methods for real time and probabilistic systems 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26 - 28, 1999 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 1999
Schriftenreihe:Lecture notes in computer science 1601
Schlagworte:
Informatiesystemen
Ingénierie des systèmes - Congrès
Parallélisme (Informatique) - Congrès
Probabilités - Congrès
Real-time systemen
Sistemas operacionais (computadores)
Temps réel (informatique) - Congrès
Temps réel - Congrès
Traitement réparti - Congrès
méthode formelle
système hybride
système probabilistique
système temps réel
vérification formelle
Computer software > Verification > Congresses
Real-time data processing > Congresses
Systems engineering > Congresses
Softwareentwicklung
Echtzeitsystem
Formale Methode
Stochastisches System
Systementwicklung
Konferenzschrift > 1999 > Bamberg
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Inhaltsverzeichnis

Ähnliche Einträge