Sciweavers

16 search results - page 1 / 4
» iceccs 2008
Sort
View
78
Voted
ICECCS
2008
IEEE
98views Hardware» more  ICECCS 2008»
15 years 10 months ago
Verifying Statecharts with State Invariants
Emil Sekerinski
101
Voted
ICECCS
2008
IEEE
91views Hardware» more  ICECCS 2008»
15 years 10 months ago
Global Software Engineering Research in a Small Country
Kevin Ryan
89
Voted
ICECCS
2008
IEEE
87views Hardware» more  ICECCS 2008»
15 years 10 months ago
Verified Software: Theories, Tools, Experiments
Tony Hoare
ICECCS
2008
IEEE
102views Hardware» more  ICECCS 2008»
15 years 10 months ago
High-Precision Relative Clock Synchronization Using Time Stamp Counters
Guosong Tian, Yu-Chu Tian, Colin J. Fidge
ICECCS
2008
IEEE
131views Hardware» more  ICECCS 2008»
15 years 10 months ago
Dealing with AADL End-to-End Flow Latency with UML MARTE
Su-Young Lee 0002, Frédéric Mallet, ...