Assume-guarantee contracts for continuous-time systems
Adnane Saoud, Antoine Girard, Laurent Fribourg
Topics & Concepts
Computer scienceSimple (philosophy)Property (philosophy)Component (thermodynamics)Class (philosophy)Semantics (computer science)Mathematical optimizationMathematicsArtificial intelligenceEpistemologyPhysicsThermodynamicsProgramming languagePhilosophyFormal Methods in VerificationPetri Nets in System ModelingReal-Time Systems Scheduling