Computational geometry: an introduction
Computational geometry: an introduction
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction to mathematical logic (3rd ed.)
Introduction to mathematical logic (3rd ed.)
Temporal logic of programs
An introduction to mathematical logic and type theory: to truth through proof
An introduction to mathematical logic and type theory: to truth through proof
Temporal logic for real time systems
Temporal logic for real time systems
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Fundamentals of software engineering
Fundamentals of software engineering
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward a discipline of real-time programming
Communications of the ACM
Data Structures and Algorithms
Data Structures and Algorithms
An Object-Oriented Logic Language for Modular System Specification
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Distributed real-time system specification and verification in APTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Validating real-time systems by history-checking TRIO specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Hi-index | 0.00 |