Explore projects
-
Lenka Turoňová / Automata
MIT LicenseUpdated -
Lenka Turoňová / Automata-02-02-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-05-02
MIT LicenseUpdated -
Lenka Turoňová / Automata-06-02-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-25-01-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-03-29-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-07-03-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-29-03-2019
MIT LicenseUpdated -
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 -
Lenka Turoňová / CountingAutomata
MIT LicenseUpdated -
Lenka Turoňová / countingautomata-analysis
MIT LicenseUpdated -
Lenka Turoňová / CountingAutomata-generator
MIT LicenseUpdated -
Lenka Turoňová / CountingAutomata-matcher
MIT LicenseUpdated -
Piškot / CountingAutomata-matcher
MIT LicenseUpdated -
Tomáš Fiedor / forester-resource-bounds
GNU General Public License v3.0 onlyExperimental extension of Forester for Resource Bounds computation.
Updated -
Testos / Logreaper
GNU General Public License v3.0 or laterUpdated -
Library for abstraction and concretization of stream of messages of certain similarity or class.
Updated -
Library for manipulation and classification of communication messages.
Updated -
Testos / plexson
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedInteractive JSON-scheme generator from multiple JSON instances
Updated -
Updated