Uppaal in 1995

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61042-1_66
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

UPPAAL - Now, Next, and Future

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

Formal Verification of AADL Models Using UPPAAL

2017English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Discretization of Continuous Dynamical Systems Using UPPAAL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Adapting the UPPAAL Model of a Distributed Lift System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Septembre 1995

La Météorologie
1996English

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Fundamental Mechanisms in Flue Gas Conditioning. Quarterly Report, January 1995--March 1995

1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy