Sciweavers

2377 search results - page 126 / 476
» Hybrid Systems in TLA
Sort
View
AMAI
2006
Springer
15 years 1 months ago
A formal mathematical framework for modeling probabilistic hybrid systems
Robert St-Aubin, Joel Friedman, Alan K. Mackworth
ENTCS
2008
105views more  ENTCS 2008»
15 years 1 months ago
Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Alberto Momigliano, Alan J. Martin, Amy P. Felty
ESWA
2008
152views more  ESWA 2008»
15 years 1 months ago
Design of a hybrid system for the diabetes and heart diseases
Humar Kahramanli, Novruz Allahverdi
FMSD
2008
74views more  FMSD 2008»
15 years 1 months ago
Abstractions for hybrid systems
Ashish Tiwari