Compositional Refinement of Interactive Systems Modelled by Relations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
A Logical Basis for Modular Software and Systems Engineering
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Integrating Formal Description Techniques
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Refinement of hybrid systems: from formal models to design languages
Languages for system specification
Loose synchronization of event-triggered networks for distribution of synchronous programs
Proceedings of the 4th ACM international conference on Embedded software
AutoMoDe - Model-Based Development of Automotive Software
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Towards verified automotive software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Mode: a method for system-level architecture evaluation
Formal methods and models for system design
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Modular Functional Descriptions
Electronic Notes in Theoretical Computer Science (ENTCS)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Towards modularized verification of distributed time-triggered systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Formal semantics of modular time refinement in AutoFocus
Computer Science - Research and Development
| Hi-index | 0.00 |