Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
.
Bookmark für diesen Satz setzen
Katalogdatensatz500251756
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500251756
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-3-319-57707-4
Name
Liu, Shaoying ¬[Hrsg.]¬
Duan, Zhenhua ¬[Hrsg.]¬
Name ANZEIGE DER KETTE
Duan, Zhenhua ¬[Hrsg.]¬
Name
Tian, Cong ¬[Hrsg.]¬
Nagoya, Fumiko ¬[Hrsg.]¬
T I T E L
Structured Object-Oriented Formal Language and Method
Zusatz zum Titel
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Verlagsort
Cham
Verlag
Springer
Erscheinungsjahr
2017
2017
Umfang
Online-Ressource (X, 239 p. 71 illus, online resource)
Reihe
Lecture Notes in Computer Science ; 10189
Lecture notes in computer science
Band
10189
Titelhinweis
Druckausg.ISBN: 978-3-319-57707-4
Printed editionISBN: 978-3-319-57707-4
ISBN
ISBN 978-3-319-57708-1
Klassifikation
UL
UMZ
COM051230
005.1
QA76.758
Kurzbeschreibung
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking
2. Kurzbeschreibung
Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry
SWB-Titel-Idn
488874866
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-319-57708-1
Internetseite / Link
Volltext
.
ISBD-Anzeige
Katalogdatensatz500251756
.
Kategorien-Anzeige
Katalogdatensatz500251756
.
Verwandte Werke
Katalogdatensatz500251756
.
Bände anzeigen
Katalogdatensatz500251756
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500251756
.
Kataloginformation500251756
Datensatzanfang
.
Kataloginformation500251756
Seitenanfang
.
Titel vormerken
Katalogdatensatz500251756
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach