default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGSOFT 1991: New Orleans, LA, USA
- Mark Moriconi:
Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA. ACM 1991, ISBN 978-0-89791-455-0 - John M. Rushby, Friedrich W. von Henke:
Formal verification of algorithms for critical systems. 1-15 - Joanne M. Atlee, John D. Gannon:
State-based model checking of event-driven system requirements. 16-28 - Bent Dandanell:
Rigorous development using RAISE. 29-43 - Kirsten Mark Hansen, Anders P. Ravn, Hans Rischel:
Specifying and verifying requirements of real-time systems. 44-54 - Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen:
A systematic kernel development. 55-65 - Ricky W. Butler, George B. Finelli:
The infeasibility of experimental quantification of life-critical software reliability. 66-76 - Phyllis G. Frankl, Elaine J. Weyuker:
Assessing the fault-detecting ability of testing methods. 77-91 - Valérie Issarny:
An exception handling model for parallel programming and its verification. 92-100 - E. Jane Cameron, Yow-Jian Lin:
A real-time transition model for analyzing behavioral compatibility of telecommunications services. 101-111 - Christophe Ratel, Nicolas Halbwachs, Pascal Raymond:
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. 112-119 - Reino Kurki-Suonio:
Stepwise design of real-time systems. 120-131 - Jia Xu, David Lorge Parnas:
On satisfying timing constraints in hard-real-time systems. 132-146 - Chih-Kan Wang, Duu-Chung Tsou, Rwo-Hsi Wang, James C. Browne, Aloysius K. Mok:
Automated analysis of bounded response time for two NASA expert systems. 147-161
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 2025-12-04 22:07 CET 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:
