1022 search results - page 10 / 205 » The Modelling of Embedded Systems Using HASoC |
EUROMICRO
2000
IEEE
14 years 3 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
RTAS
2005
IEEE
14 years 4 months ago
2005
IEEE
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
FDL
2005
IEEE
14 years 4 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
GI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...