Sonia R. Sachs
According to our database1, Sonia R. Sachs authored at least 8 papers between 1993 and 2007.
Legend:Book In proceedings Article PhD thesis Other
Multi-agent Model of Technological Shifts.
Proceedings of the Multi-Agent-Based Simulation VIII, International Workshop, 2007
A New Way to Plan for the Future.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007
Taming heterogeneity - the Ptolemy approach.
Proceedings of the IEEE, 2003
Reprogrammable Platforms for High-Speed Data Acquisition.
Design Autom. for Emb. Sys., 2002
Formal Verification of a Distributed Computer System.
Formal Methods in System Design, 1997
Working Group Report on Electronic Notebooks.
Proceedings of the 5th Workshop on Enabling Technologies, 1996
Modelling Asynchrony with a Synchronous Model.
Proceedings of the Computer Aided Verification, 1995
A Structural Linearization Principle for Processes.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993