A formal approach to hybrid systems

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

Research output: Contribution to conferencePaperAcademic

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

Workshop

Workshop2nd PROGRESS Workshop on Embedded Systems, October 18, 2001, Utrecht, The Netherlands
CountryNetherlands
CityUtrecht
Period18/10/0118/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.