Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th Monterey Workshop 1998: Carmel, CA, USA
- Luqi, Manfred Broy:
The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998. Electronic Notes in Theoretical Computer Science 25, Elsevier 1999 - Luqi:
Engineering Automation for Computer Based Systems. 1-9 - Daniel M. Berry:
Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work. 10-22 - Daniel E. Cooke, Vladik Kreinovich:
Automatic Concurrency in SequenceL. 23-34 - John Drummond:
Dynamic Task Monitoring. 35-37 - Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky:
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. 38-49 - Piotr Kosiuczenko, Martin Wirsing:
Formalizing and Executing Message Sequence Charts via Timed Rewriting. 50-61 - Wolfgang Polak:
Formal Methods in Practice. 62-72 - Vered Gafni, Yishai A. Feldman, Amiram Yehudai:
Real-Time Systems Development with MASS. 73-86 - Du Zhang, Vo Lee, Joseph Friedel, Robert Keyser:
Automated Facts Generation From Raw Data: A Perspective From The ANDES Project. 87-96 - Norbert Völker, Bernd J. Krämer
:
Automated Verification of Function Block Based Industrial Control Systems. 97-110 - Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes:
The Story of Re-engineering 350,000 Lines of FORTRAN Code. 111-120 - Michael Gelfond, Richard Watson:
On Methodology of Representing Knowledge in Dynamic Domains. 121-132 - Murali Narasimha, Rance Cleaveland, S. Purushothaman Iyer:
The role of observations in probabilistic open systems. 133-144 - Luqi, Manfred Broy:
Preface - Software Engineering to our Planning Horizon. 145-146
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
