1678 search results - page 3 / 336 » An ASM Specification of C |
ASM
2008
ASM
13 years 9 months ago
2008
ASM
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed an...
HICSS
2002
IEEE
14 years 12 days ago
2002
IEEE
Recently, Microsoft took a lead in the development of a standard for peer-to-peer network connectivity of various intelligent appliances, wireless devices and PCs. It is called th...
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
CIT
2005
Springer
13 years 7 months ago
2005
Springer
JUCS
2002
13 years 7 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...