Zum Inhalt springen

Nissanke, Nimal [VerfasserIn]

Formal specification : techniques and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London; Berlin; Heidelberg [u.a.]: Springer, 1999
Tochtermann, Klaus [VerfasserIn]

Ein Modell für Hypermedia : Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte - [Als Ms. gedr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 1995

Erschienen in: Berichte aus der Informatik
Hedrich, Lars [VerfasserIn]

Ansätze zur formalen Verifikation analoger Schaltungen - [Als Ms. gedr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Düsseldorf: VDI-Verl., 1997

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 25700
Hußmann, Heinrich [VerfasserIn]

Formal foundations for software engineering methods

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1997

Erschienen in: Lecture notes in computer science ; 1322
Tahar, Sofiène [VerfasserIn]

Eine Methode zur formalen Verifikation von RISC-Prozessoren

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1994
Craig, Iain D. [VerfasserIn]

Formal refinement for operating system kernels

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London: Springer, 2007
Schaarschmidt, Ralf [VerfasserIn]

Archivierung in Datenbanksystemen : Konzept und Sprache - [1. Aufl]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart; Leipzig; Wiesbaden: Teubner, 2001

Erschienen in: Teubner-Reihe Wirtschaftsinformatik
Friesen, Viktor [VerfasserIn]

Objektorientierte Spezifikation hybrider Systeme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1997

Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 289
Janssen, Christian [VerfasserIn]

Dialogentwicklung für objektorientierte, graphische Benutzungsschnittstellen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Fraunhofer-Institut für Produktionstechnik und Automatisierung: IPA-IAO-Forschung und Praxis ; 227
Schieferdecker, Ina [VerfasserIn]

Performance oriented specification of communication protocols and verification of deterministic bounds of their QoS characteristics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München [u.a.]: Oldenbourg, 1995

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 242
Hankin, Chris [HerausgeberIn] ; Imperial College of Science, Technology and Medicine Theory and Formal Methods Section, Theory and Formal Methods Workshop 2 1994 Cambridge

Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop; [held in Cambridge on 11. - 14. September 1994]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[London]: Imperial College Press [u.a.], 1995
Bieler, Frank [VerfasserIn]

Spezifikationsbasiertes Testen verteilter Systeme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Wien: Oldenbourg, 1994

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 231
Kutsche, Ralf-Detlef [VerfasserIn]

A type-oriented approach to the specification and formal semantics of a distributed, heterogeneous object system

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1994
Missal, Dirk [VerfasserIn]

Formal synthesis of safety controller code for distributed controllers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Logos-Verl., 2012

Erschienen in: Hallenser Schriften zur Automatisierungstechnik ; 9
Alagar, Vangalur S. [VerfasserIn]; Periyasamy, K. [VerfasserIn]

Specification of software systems - [2. ed. extensively rev. and updated]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London; Heidelberg [u.a.]: Springer, 2011

Erschienen in: Texts in computer science
Feijs, Loe M. [VerfasserIn]; Jonkers, Hans B. [VerfasserIn] ; Feijs, L. M. G. [Sonstige Person, Familie und Körperschaft]; Jonkers, H. B. M. [Sonstige Person, Familie und Körperschaft]

Formal specification and design - [1. digital printed paperback version 2005]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge Univ. Press, 2005

Erschienen in: Cambridge tracts in theoretical computer science ; 35.2005
Einer, Stefan [VerfasserIn]

Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung - [Als Ms. gedr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Düsseldorf: VDI-Verl., 2003

Erschienen in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 37300
D'Inverno, Mark [VerfasserIn]; Luck, Michael [VerfasserIn]

Understanding agent systems - [2. ed., revised and extended]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Springer series on agent technology
Treseler, Heinz [VerfasserIn]

Ein Rechnerwerkzeug zur formalen Verifikation diskret gesteuerter verfahrenstechnischer Prozesse

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 2002

Erschienen in: Universität Dortmund: Schriftenreihe des Lehrstuhls für Anlagensteuerungstechnik der Universität Dortmund ; 2002,2
Mossakowski, Till [VerfasserIn]

Representations, hierarchies and graphs of institutions - [Rev. version, December 2001]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Logos Verl., 2002

Erschienen in: Bremer Institut für Sichere Systeme: BISS monographs ; 2

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr