Sciweavers

1715 search results - page 34 / 343
» Embedded Systems and Real-Time Programming
Sort
View
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 5 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
99
Voted
CAV
2001
Springer
93views Hardware» more  CAV 2001»
15 years 5 months ago
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems
Etienne Closse, Michel Poize, Jacques Pulou, Josep...