A Taylor Function Calculus for Hybrid System Analysis: Validation in Coq
| Autor: | Collins, Pieter, Niqui, Milad, Revol, N., Fainekos, G.E., Goubault, E., Putot, S. |
|---|---|
| Přispěvatelé: | Scientific Computing, Computer Security |
| Jazyk: | angličtina |
| Rok vydání: | 2010 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|