Specifying mode requirements of embedded systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Machine-Checking the Timed Interval Calculus
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Induction in the timed interval calculus
Theoretical Computer Science
Requirements reformulation using formal specification: a case study
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Disunification in ACI1 Theories
Constraints
Hierarchical verification environment
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
A verification system for timed interval calculus
Proceedings of the 30th international conference on Software engineering
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Software-Intensive Systems and New Computing Paradigms
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalising scheduling theories in duration calculus
Nordic Journal of Computing
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |