Sciweavers

41938 search results - page 320 / 8388
» Complex Systems Modeling
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 11 months ago
Introduction to the Minitrack on Engineering Complex Computer Systems: Emerging Technologies Track
Alberto Broggi, Michael G. Hinchey, Alexander D. S...
SAC
1998
ACM
15 years 11 months ago
Light analysis of complex systems
Massimo Marchiori