A formal approach to hybrid systems

P.J.L. Cuijpers, A.L. Juloski

Research output: Contribution to conference › Paper › Academic

Original languageEnglish
Publication statusPublished - 2001
Event2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands - Utrecht, Netherlands
Duration: 18 Oct 2001 → 18 Oct 2001

Workshop

Workshop2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands
CountryNetherlands
CityUtrecht
Period18/10/01 → 18/10/01

Cite this

Cuijpers, P. J. L., & Juloski, A. L. (2001). A formal approach to hybrid systems. Paper presented at 2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands, Utrecht, Netherlands.