Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

doi 10.21236/ada329736
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Probabilistic Real-Time Rewrite Theories and Their Expressive Power

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Strengthening Property Preservation in Concurrent Real-Time Systems

2006English

Automated Invariant Generation for the Verification of Real-Time Systems

English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Real-Time TTCN for Testing Real-Time and Multimedia Systems

1997English

Concurrent Design and Control of Automated Material Handling Systems

2013English

Reconfigurable Frame-Grabber for Real-Time Automated Visual Inspection (RT-AVI) Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

An Automated Real-Time Integration and Interoperability Framework for Bioinformatics

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy