Sciweavers

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