Explore projects
-
This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using dierential e
Updated -
Testos / Netloiter
GNU General Public License v3.0 or laterA tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).
Updated -
Library for abstraction and concretization of stream of messages of certain similarity or class.
Updated -
-
Library for manipulation and classification of communication messages.
Updated -
Updated
-
tacr-unis / Perfaide
OtherUpdated -
verifit / unite
Eclipse Public License 2.0Updated -
Lenka Turoňová / CountingAutomata
MIT LicenseUpdated -
Updated
-
verifit / oslc-client
Eclipse Public License 2.0OSLC client(s) compatible with both Maven and Eclipse.
Updated -
Testos / Combineng
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedUpdated -
A project for the course Computer Communications and Networks (bachelor's studies).
Updated -
Updated
-
Lenka Turoňová / Automata-06-02-2019
MIT LicenseUpdated