Sciweavers

24421 search results - page 301 / 4885
» Communicating Complex Systems
Sort
View
98
Voted
GLVLSI
1999
IEEE
74views VLSI» more  GLVLSI 1999»
15 years 7 months ago
Formal Checking of Properties in Complex Systems Using Abstractions
Dinos Moundanos, Jacob A. Abraham
89
Voted
HICSS
1998
IEEE
67views Biometrics» more  HICSS 1998»
15 years 7 months ago
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track
Alberto Broggi, Michael G. Hinchey, Alexander D. S...