Symbolic and on the Fly Testing With Real-Time Observers

Lecture Notes in Computer Science - Germany
doi 10.1007/11754008_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Testing Real-Time Systems With Runtime Enforcement

IEEE Design and Test
HardwareElectronic EngineeringElectricalArchitectureSoftware
2018English

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

1997English

A Symbolic Solution to Intelligent Real-Time Control

Robotics and Autonomous Systems
ControlSystems EngineeringSoftwareComputer Science ApplicationsMathematics
1993English

Sensemaking: A Proposal for a Real-Time on the Fly Video Streaming Platform

Creative Education
2016English

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-The-Fly Transactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Method for Testing Real-Time System Based on Timed Automata

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Towards Systematic Testing of Distributed Real-Time Systems

English

Space Perception of Strabismic Observers in the Real World Environment

Investigative Ophthalmology and Visual Science
Molecular NeuroscienceOphthalmologySensory SystemsCellular
2015English

On the Fly Testing of Regular Patterns in Distributed Computations

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy