Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ousmane Koné
Symbolic and on the Fly Testing With Real-Time Observers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Testing Real-Time Systems With Runtime Enforcement
IEEE Design and Test
Hardware
Electronic Engineering
Electrical
Architecture
Software
Real-Time TTCN for Testing Real-Time and Multimedia Systems
A Symbolic Solution to Intelligent Real-Time Control
Robotics and Autonomous Systems
Control
Systems Engineering
Software
Computer Science Applications
Mathematics
Sensemaking: A Proposal for a Real-Time on the Fly Video Streaming Platform
Creative Education
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-The-Fly Transactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Method for Testing Real-Time System Based on Timed Automata
Ruan Jian Xue Bao/Journal of Software
Software
Towards Systematic Testing of Distributed Real-Time Systems
Space Perception of Strabismic Observers in the Real World Environment
Investigative Ophthalmology and Visual Science
Molecular Neuroscience
Ophthalmology
Sensory Systems
Cellular
On the Fly Testing of Regular Patterns in Distributed Computations
