A process for sound conformance testing of cyber-physical systems
The term Hybrid System is used to describe a modelling formalism of systems that combine discrete and continuous aspects; for instance, a system where a controller (discrete component) is connected to a physical system (continuous component). Systems that encompass tightly integrated digital and phy...
| Main Author: | ARAUJO, Hugo Leonardo da Silva |
|---|---|
| Other Authors: | SAMPAIO, Augusto Cezar Alves |
| Format: | masterThesis |
| Language: | eng |
| Published: |
Universidade Federal de Pernambuco
2019
|
| Subjects: | |
| Online Access: |
https://repositorio.ufpe.br/handle/123456789/29687 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|