Zum Inhalt springen

Gouverneur, Gerd [Verfasser:in]

Korrekter Entwurf und Verifikation verteilter Systeme : the Temporal Logic of Transitions - ein unterstützender Rahmen

Schließen

Merkliste

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

1996
Große-Rhode, Martin [Verfasser:in]

Specification of transition categories : an approach to dynamic abstract data types

Schließen

Merkliste

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

1995
Hermanns, Holger [Verfasser:in]

Interactive Markov chains : and the quest for quantified quality

Online ansehen
Schließen

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, 2002

Erschienen in: Lecture notes in computer science ; 2428
Schönherr, Jens [Verfasser:in]

Verfahren der Erreichbarkeitsanalyse von Transitionssystemen zur formalen Verifikation von Schaltungsbeschreibungen auf der Register-Transfer-Ebene

Schließen

Merkliste

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

2001
Desel, Jörg [Verfasser:in]

Petrinetze, lineare Algebra und lineare Programmierung : Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Online ansehen
Schließen

Schließen

Merkliste

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

Stuttgart; Leipzig: Teubner, 1998

Erschienen in: Teubner-Texte zur Informatik ; 26
Esparza, Javier [Verfasser:in]; Heljanko, Keijo [Verfasser:in]

Unfoldings : a partial-order approach to model checking

Online ansehen
Schließen

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2008

Erschienen in: Monographs in theoretical computer science : an EATCS series
Kröger, Fred [Verfasser:in]; Merz, Stephan [Verfasser:in]

Temporal logic and state systems

Online ansehen
Schließen

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2008

Erschienen in: Texts in theoretical computer science
Broy, Manfred [Herausgeber:in]

Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]

Online ansehen
Schließen

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, 2005

Erschienen in: Lecture notes in computer science ; 3472
Quintarelli, Elisa [Verfasser:in]

Model-checking based data retrieval : an application to semistructured and temporal data

Online ansehen
Schließen

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: Lecture notes in computer science ; 2917
Cap, Clemens H. [Verfasser:in]

A calculus of distributed and parallel processes

Online ansehen
Schließen

Schließen

Merkliste

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

Stuttgart; Leipzig: Teubner, c 2000

Erschienen in: Teubner-Texte zur Informatik ; 31
Vogler, Walter [Verfasser:in]

Concurrent implementation of asynchronous transition systems

Online ansehen
Schließen

Links

... zum E-Book

Schließen

Merkliste

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

Augsburg University Publication Server (OPUS), 2005-01-31
Baier, Christel [Sonstige Person, Familie und Körperschaft]; Majster-Cederbaum, Mila [Sonstige Person, Familie und Körperschaft]

The connection between an event structure semantics and an operational semantics for TCSP

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

Mannheim: Universität Mannheim / Institut für Informatik, 1991

Erschienen in: Manuskripte / Reihe Informatik ; 1991-001
Erofeev, Evgeny [Verfasser:in] ; Best, Eike [Akademische:r Betreuer:in]; Pomello, Lucia [Akademische:r Betreuer:in]

Characterisation of a class of Petri net solvable transition systems

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

Oldenburg, [2019]
Schlachter, Uli Christian [Verfasser:in] ; Best, Eike [Akademische:r Betreuer:in]; Esparza, Javier [Akademische:r Betreuer:in]

Petri net synthesis and modal specifications

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

Oldenburg, [2018]
Martens, Moritz [Verfasser:in]

Establishing properties of interaction systems

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

2009 ; 2010
Stangier, Christian [Verfasser:in]

High-level Methods for OBDD-based Sequential Verification ; High-level Methoden für die OBDD-basierte sequentielle Verifikation

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

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

Publication Server of Tier University (OPUS), 2004-06-15
Lambertz, Christian [Verfasser:in]

Software components and formal methods from a computational viewpoint

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

2012
Ştefănescu, Alin [Verfasser:in]

Automatic synthesis of distributed transition systems

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

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

2006
Zhang, Lijun [Verfasser:in] ; Hermanns, Holger [Mitwirkende:r]

Decision algorithms for probabilistic simulations

Online ansehen
Schließen

Links

... zur Hochschulschrift via Resolving-System

Schließen

Merkliste

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

Scientific publications of the Saarland University (UdS), 2009
Clarke, Edmund M. [Herausgeber:in]; Henzinger, Thomas [Herausgeber:in]; Veith, Helmut [Herausgeber:in]; Bloem, Roderick [Herausgeber:in]

Handbook of Model Checking

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext)

Schließen

Merkliste

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

Cham: Springer, 2018

Erschienen in: SpringerLink ; Bücher- Springer eBook Collection

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