Giters

MaximilianAlgehed / cyphy-1

Modelling and Testing Cyber-Physical Systems in Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cyphy

Modelling and Testing Cyber-Physical Systems in Haskell

About

Modelling and Testing Cyber-Physical Systems in Haskell

License:MIT License

Languages

Language:Haskell 100.0%