Tools for system development and verification workshop, proceedings [of the Workshop on Tool Support for System Development and Verification], Bremen, Germany, July 1996

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Tool Support for System Development and Verification (BerichterstatterIn)
Weitere Verfasser:	Peleska, Jan (BerichterstatterIn), Buth, Bettina (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen Shaker 1998
Ausgabe:	Als Ms. gedr.
Schriftenreihe:	BISS monographs 1
Schlagworte:	Konferenzschrift > Systementwicklung > Formale Methode > Formale Spezifikationstechnik > Verifikation
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Automatic Integration of Safety Invariants into Z Specifications	1998	Hechel, Reiko
Computed Aided Formal Methods : A Generic Concept	1998	Heisel, Maritta
Supporting Algebraic Program Derivation by PVS	1998	Behnke, Ralf
Combining Tools for the Veriflcation of Fault-Tolerant Systems	1998	Buth, Bettina
Tool-Supported Test Case Design Based on Z and the Classiflcation-Tree Method	1998	Singh, Harbhajan
Test Automation using Z Specifications	1998	Hörcher, Hans-Martin
Second Order Syntaz in HOPS and in Ralf	1998	Kahl, Wolfram
LIMITS : OMT with Formal Timing Analysis	1998	Naks, Tonu
Prototyping Relational Specificaticms and Programs with RELVIEW	1998	Behnke, Ralf
Developing Proof Rules for Distributed Real-Time Systems with PVS	1998	Hooman, Jozef
Generic Interfaces for Formal Development Support Tools	1998	Kolyang