Monitorability Under Assumptions
Thomas A. Henzinger, N. Ege Saraç
Topics & Concepts
Computer scienceProperty (philosophy)TRACE (psycholinguistics)Integer (computer science)Space (punctuation)Programming languageEpistemologyOperating systemPhilosophyLinguisticsFormal Methods in VerificationPetri Nets in System ModelingReal-Time Systems Scheduling