What people are saying - Write a review
We haven't found any reviews in the usual places.
A Model for RealTime System Specification
TILCOX an Extension of TILCO Temporal Logic
OnLine Scheduling of RealTime Distributed Computers with
16 other sections not shown
Other editions - View all
abstraction actuator aircraft algorithms alternating bit protocol analysis application approach architecture automata Bayesian probability behavior cffd communication complex component-based components Computer Science configuration constraints context property corrective maintenance defined distributed domain evaluation event example execution fault-tolerant faults Figure finite formal formula FTAM function graph hardware hybrid systems HyTech IEEE implementation input instance interactions interface International JAS 39 Gripen language layers machine translation messages method model checker module nodes Notes in Computer object operators optimal parameters performance Petri nets precedence graph present preventive maintenance problem protocol queries reachability real-time systems refinement function requirements result scenario scheduling search engines Section self-stabilization semantics sensors sequence servers software architecture Software Engineering Software Maintenance software systems source code specification structure synchronization tasks techniques temporal logic Theorem TILCO TILCO-X tion transition UPPAAL variables verification