Laboratory environment for verification of protected multi-gigabit transmission systems.
Marija TrifunovicDino Solar NikolicPredrag MilicevicNikola LatinovicIvan MilojevicMiroslav PericPublished in: AFRICON (2015)
Keyphrases
- operating environment
- real time
- distributed systems
- intelligent systems
- dynamic environments
- formal methods
- distributed intelligent
- database
- asynchronous circuits
- autonomous systems
- computing systems
- human users
- robotic systems
- model checking
- building blocks
- computer systems
- software engineering
- artificial intelligence
- genetic algorithm