Artificial Intelligence
The application of formal methods to the assessment of high integrity software
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Constructing and analyzing specifications of real world systems
Constructing and analyzing specifications of real world systems
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
The use of uniform semantic constraints in defining model-based editing operations
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Requirements analysis for real time automation projects
ICSE '88 Proceedings of the 10th international conference on Software engineering
An operational requirement description model for open systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Representing first order logic-based specifications in Petri-net-like graphs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Program Flow Analysis: Theory and Application
Program Flow Analysis: Theory and Application
PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE
PRELIMINARY REPORT ON THE LARCH SHARED LANGUAGE
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
Representing first order logic-based specifications in Petri-net-like graphs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A design-for-verification framework for a configurable performance-critical communication interface
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
| Hi-index | 0.00 |