Animating and model checking B specifications with higher order recursive functions

to connected objects

Location: Deutsche Nationalbibliothek Frankfurt am Main

Extent: Online-Ressource

Language: Englisch

Classification: Informatik

Event: Veröffentlichung

(where): [Wadern]

(who): [Internat. Begegnungs- und Forschungszentrum für Informatik]

(when): [2006]

Contributor: Leuschel, Michael
Bendisposto, Jens

URN: urn:nbn:de:0030-drops-6407

Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.

Last update: 25.03.2025, 1:58 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Show original at data provider

Associated

Leuschel, Michael
Bendisposto, Jens
[Internat. Begegnungs- und Forschungszentrum für Informatik]

Time of origin

[2006]

Other Objects (12)

Recursive Functions

Hochschulschrift

Model checking of duration calculus specifications

Automata-based model checking of recursive systems

Hochschulschrift | Online-Publikation

Model checking combined Z and statechart specifications

Model Checking Temporal Properties of Recursive Probabilistic Programs

Viability of Recursive SQL Functions

Arbeitspapier

Sustainable recursive social welfare functions

Hochschulschrift

Directed and Distributed Model Checking of B-Specifications

Testing with functions as specifications

Hochschulschrift

Formal specifications with higher order parameterization

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Recursive Functions

Hochschulschrift

Model checking of duration calculus specifications

Automata-based model checking of recursive systems

Hochschulschrift | Online-Publikation

Model checking combined Z and statechart specifications

Model Checking Temporal Properties of Recursive Probabilistic Programs

Viability of Recursive SQL Functions

Arbeitspapier

Sustainable recursive social welfare functions

Hochschulschrift

Directed and Distributed Model Checking of B-Specifications

Testing with functions as specifications

Hochschulschrift

Formal specifications with higher order parameterization

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Recursive Functions

Hochschulschrift

Model checking of duration calculus specifications

Automata-based model checking of recursive systems

Hochschulschrift | Online-Publikation

Model checking combined Z and statechart specifications

Model Checking Temporal Properties of Recursive Probabilistic Programs

Viability of Recursive SQL Functions

Arbeitspapier

Sustainable recursive social welfare functions

Hochschulschrift

Directed and Distributed Model Checking of B-Specifications

Testing with functions as specifications

Hochschulschrift

Formal specifications with higher order parameterization

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Cultural heritage institutions wishing to register will find more information here.

Fields marked * need to be filled in.

Username*

Please enter your username

Email*

Please enter your email address

Please do not fill this field

First name

Last name

Password*

Please enter your password

Confirm password*

Please enter the same password

I have read the terms of use and the privacy policy for the collection of personal data and accept them. *

This field is required.

I would like to subscribe to the newsletter of the Deutsche Digitale Bibliothek. See newsletter subscription info.

Account created

Your "My DDB" account has been successfully created. Before you can log in to your account, you must click the confirmation link in the message we just sent to the email address you provided.

Animating and model checking B specifications with higher order recursive functions

Object Details

Classification and Topics

Contributors, Places and Time

Further information

Data provider

Associated

Time of origin

Other Objects (12)

Recursive Functions

Model checking of duration calculus specifications

Automata-based model checking of recursive systems

Model checking combined Z and statechart specifications

Model Checking Temporal Properties of Recursive Probabilistic Programs

Model Checking Temporal Properties of Recursive Probabilistic Programs

Viability of Recursive SQL Functions

Sustainable recursive social welfare functions

Directed and Distributed Model Checking of B-Specifications

Testing with functions as specifications

Formal specifications with higher order parameterization

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Recursive Functions

Model checking of duration calculus specifications

Automata-based model checking of recursive systems

Model checking combined Z and statechart specifications

Model Checking Temporal Properties of Recursive Probabilistic Programs

Model Checking Temporal Properties of Recursive Probabilistic Programs

Viability of Recursive SQL Functions

Sustainable recursive social welfare functions

Directed and Distributed Model Checking of B-Specifications

Testing with functions as specifications

Formal specifications with higher order parameterization

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Recursive Functions

Model checking of duration calculus specifications

Automata-based model checking of recursive systems

Model checking combined Z and statechart specifications

Model Checking Temporal Properties of Recursive Probabilistic Programs

Model Checking Temporal Properties of Recursive Probabilistic Programs

Viability of Recursive SQL Functions

Sustainable recursive social welfare functions

Directed and Distributed Model Checking of B-Specifications

Testing with functions as specifications

Formal specifications with higher order parameterization

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Related objects

Reset password