Concurrent implementation of asynchronous transition systems

URL des Erstveröffentlichers

Bisimulations and model refinement von Glück, Roland 1972-

Inhaltstext
Inhaltsverzeichnis

An algorithmic framework for checking coverability in well-structured transition systems von Strazny, Tim

Inhaltsverzeichnis

Unfoldings a partial-order approach to model checking

DE-91
DE-355
Volltext

Viaţa cotidiană a românilor între anii 1941 - 1965 von Vasile, Vasile

Literaturverzeichnis
Inhaltsverzeichnis

Model based testing of reactive systems advanced lectures

DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-706
DE-739
Volltext

Modeling time in computing

Inhaltstext
Inhaltsverzeichnis

Modeling Time in Computing

DE-634
DE-Aug4
DE-M347
DE-92
DE-859
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-739
Volltext

Interactive Markov chains and the quest for quantified quality

DE-91
DE-384
DE-19
DE-739
Volltext

Unfoldings A Partial-Order Approach to Model Checking von Esparza, Javier 1964-, Heljanko, Keijo

Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen von Desel, Jörg 1959-

Inhaltsverzeichnis

Anforderungsspezifikation durch Transitionssysteme und Szenarien von Klein, Cornel

Temporal language of transitions and client server systems von Barnard, Dieter

Inhaltsverzeichnis

Model-checking based data retrieval an application to semistructured and temporal data von Quintarelli, Elisa

Inhaltsverzeichnis

Phase Transitions and Hysteresis Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, July 13–21, 1993

DE-12
DE-634
DE-526
DE-210
DE-521
DE-1046
DE-Aug4
DE-573
DE-M347
DE-859
DE-860
DE-523
DE-70
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-706
DE-29
DE-739
Volltext

Behavior analysis of communication systems compositional modelling, compact representation and analysis of performability properties von Siegle, Markus 1964-

Inhaltsverzeichnis

Interactive Markov chains and the quest for quantified quality von Hermanns, Holger 1967-

Using model checking for system verification von Maidl, Monika

A Calculus of Distributed and Parallel Processes von Cap, Clemens H.

DE-573
DE-634
URL des Erstveröffentlichers

Petrinetze, lineare Algebra und lineare Programmierung Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen von Desel, Jörg

Volltext