Modelling and Verification of Timed Interaction and Migration

doi 10.1007/978-3-540-78743-3_16
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Automatic Verification of Timed Circuits

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Validating Timed UML Models by Simulation and Verification

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2005English

Advances in Verification of Time Petri Nets and Timed Automata

Studies in Computational Intelligence
Artificial Intelligence
2006English

Timed Circuit Verification Using TEL Structures

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
2001English

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Verification of Networks of Timed Automata Using mCRL2

2008 IEEE International Symposium on Parallel and Distributed Processing
2008English

Using Backward Induction Techniques in (Timed) Security Protocols Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

MoDeST — A Modelling and Description Language for Stochastic Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Design and Modelling of a High Performance Differential Bipolar Self-Timed Microprocessor

IEE Proceedings - Computers and Digital Techniques
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy