Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham Springer 2015
Ausgabe:1st ed. 2015
Schriftenreihe:Lecture Notes in Computer Science 9268
Schlagworte:
Computer science
Software engineering
Logic design
Computer Science
Computation by Abstract Devices
Logics and Meanings of Programs
Software Engineering
Computer Applications
Mathematical Logic and Formal Languages
Informatik
Zeitbehafteter Automat
Zeitdiskretes System
Hybrides System
Spezifikation
Verifikation
Echtzeitsystem
Formale Methode
Konferenzschrift > 2015 > Madrid
Online-Zugang:Volltext
Abstract
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

Volltext
Abstract

Ähnliche Einträge